Category of Monoids: Ring

Ring is a subcategory of Ab whose objects are all internal monoids:

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

categories_of_monoids: Ab, Ring

This data as json