Category of Monoids: Alg(Ab)

Alg(Ab) is a subcategory of Mod(Ab) whose objects are all internal monoids:

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

categories_of_monoids: Mod(Ab), Alg(Ab)

This data as json