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