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