Category of Monoids: CMon

CMon is a subcategory of Mon whose objects are all internal monoids:

Mon(Mon) ≅ CMon

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

categories_of_monoids: Mon, CMon

This data as json

internal_monoids	parent
CMon	Mon