Monoid Object

A monoid object in a Monoidal Category $\mathcal{V}$ is a Semigroup Object $(M,m)$ equipped with the following further structure:

• A morphism $e:I\to M$, such that
• $e$ is unital with respect to $m$; EG: the following diagram commutes: