Slide 14 of 41
Notes:
For example, any set can be constructed by union together singleton sets constructed by the unit function. Some monoids are commutative and some idempotent. For example, the set monoid is both.