Category of Groups: Ab

Ab is a subcategory of Mon whose objects are all internal groups:

Grp(Mon) ≅ Ab

categories_of_groups: Mon

This data as json

internal_groups parent
Ab Mon