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