Brian Beckman: *Don’t Fear the Monad*

- A monoid is:
`({stuff}, operations)`

where the operations are associative and have a unit. - So a monoid is a semigroup with unit. (a
`+0`

or a`×1`

or a`1_C ⟳`

) - Brian Beckman in this video expresses a monoid with two functions
`f:a->a`

and`g:a->a`

. (same type or domain) - His example is
`addition mod 12`

(integral hours on a clock). - Then the monoidal category happens when you allow
`f:a->b`

and`g:b->c`

. (linking together different types or domains)

(por jasonofthel33t)