subcategory,supercategory,kind
Alg(Ab),Mod(Ab),monoids
CMon,Mon,monoids
Mon,Set,monoids
MonCat,Cat,monoids
Ring,Ab,monoids
TopMon,Top,monoids