Some Monoids

Collection monoids:

set(a): ( ?, {}, ?x. {x} )

bag(a): ( ?, {}, ?x. {x} )

list(a): ( ++, [], ?x. [x] )

Primitive monoids:

integer: ( +, 0 )

integer: ( *, 1 )

integer: ( max, 0 )

boolean: ( ?, false )

boolean: ( ?, true )

+

Previous slide

Next slide

Back to first slide

View graphic version

Here some example of collection and primitive monoids.