# A monoid has a unit element¶

A monoid has a unit element $u$ which interacts with the associative binary operation defined for its set, $\otimes$, in the following way

\exists u \forall a. u \otimes a = a \otimes u = a

The identity morphism in a monoidal category corresponds to the unit element