internal_simplicial_sets,internal_simplicial_sets_label,parent,parent_label SAb,SAb,Ab,Ab SGrp,SGrp,Grp,Grp SLieAlg_k,SLieAlg_k,LieAlg_k,LieAlg_k SMan,SMan,Man,Man SRing,SRing,Ring,Ring SSet,SSet,Set,Set STop,STop,Top,Top STopGrp,STopGrp,TopGrp,TopGrp