Mon (Category)

In category theory, $\mathbf{Mon}$ is the category of monoids. $(M,\ast ,e)$ and Monoid (Category Theory) homomorphisms.

Initial objects in monoids is the same as the terminal objects.