Monoid object

Monoid morphism

Let be monoids in . A monoid homomorphism is a Semigroup morphism which additionally satisfies the unitality condition #m/def/cat

c

These form the morphisms in .

#state/tidy | #lang/en | #SemBr