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