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 . develop | sembr