Category of Monoids: Mon

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

Mon(Set) ≅ Mon

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

categories_of_monoids: Set, Mon

This data as json

internal_monoids	parent
Mon	Set