Definition:Category of Monoids

From ProofWiki
Jump to navigation Jump to search

Definition

The category of monoids, denoted $\mathbf{Mon}$, is the metacategory with:

Objects:         monoids
Morphisms: monoid homomorphisms


Note

The reason to call $\mathbf{Mon}$ a metacategory is foundational; allowing it to be a category would bring us to axiomatic troubles.


Also see


Sources