categories_of_commutative_monoids: NormGrp, NormRing

This data as json

internal_commutative_monoids parent
NormRing NormGrp