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