We have an isomorphism of categories1
of , exhibiting monoids as exactly those categories having a single object.
-
1This can be enhanced to an isomorphism of $2$-categories between the discrete $2$-category $\mathsf{Mon}_{\mathsf{2disc}}$ on $\mathsf{Mon}$ and the $2$-category of pointed categories with one object.
