\begin{definition}[Definition:Category of Monoids]
The '''category of monoids''', denoted $\mathbf{Mon}$, is the metacategory with:
{{DefineCategory
| ob = monoids
| mor = monoid homomorphisms
}}
\end{definition}