subcategory,supercategory,kind
Ab,Set,Abelian groups
SAb,SSet,Abelian groups