categories_of_commutative_monoids: CompNormGrp, BanRing

This data as json