Glossary of categories

Category of monoids

The category of monoids 𝖬𝗈𝗇 is a category where an object is a Monoid and morphism is a Monoid homomorphism. Viewing Monoids as categories, it follows that 𝖬𝗈𝗇 is a restricted version of 𝖢𝖺𝗍.


#state/develop | #SemBr