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 𝖢𝖺𝗍. Related The more general 𝖬𝗈𝗇𝖢. #state/develop | #SemBr