subcategory,subcategory_label,supercategory,supercategory_label,reflector_hr,reflection_hr
Ab,Ab,Grp,Grp,Abelianization,
AbTorF,AbTorF,Ab,Ab,,
CRing,CRing,Ring,Ring,Abelianization,
Cat,Cat,SSet,SSet,homotopy category,nerve
Comp,Comp,Top,Top,Stone–Čech compactification,
CompMet,CompMet,Met,Met,Cauchy completion,