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