Category of Monoids: MonCat

MonCat is a subcategory of Cat whose objects are all internal monoids:

Note that Cat must be a monoidal category in order to even have internal monoids. This is an instance of the Microcosm Principle.

categories_of_monoids: Cat, MonCat

This data as json