subcategory,supercategory,kind
BanRing,CompNormGrp,commutative monoids
CMon,Set,commutative monoids
CRing,Ab,commutative monoids
CommAlg(Ab),Mod(Ab),commutative monoids
DGCAlg,Ch.(Vect_k),commutative monoids
NormRing,NormGrp,commutative monoids