internal_monoids,parent
Ring,Ab
MonCat,Cat
Alg(Ab),Mod(Ab)
CMon,Mon
Mon,Set
TopMon,Top