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