categories_of_commutative_monoids: Ab, CRing

This data as json

internal_commutative_monoids parent
CRing Ab