subcategory,supercategory,kind
Ab,Ab,groups
Ab,Grp,groups
Ab,Mon,groups
FinGrp,FinSet,groups
Grp,Set,groups
LieGrp,Man,groups
SGrp,SSet,groups
TopGrp,Top,groups