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