subcategory,supercategory,kind
Ab,Grp,reflection
FinGrp,Grp,full