categories_of_commutative_monoids: NormGrp, NormRing

This data as json