Monoid object

Monoid morphism

Let 𝑀,𝑀′ be monoids in 𝖢. A monoid homomorphism 𝑓 :𝑀 →𝑀′ is a Semigroup morphism which additionally satisfies the unitality condition #m/def/cat

These form the morphisms in 𝖬𝗈𝗇𝖢.

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