subcategory,supercategory,reflector_hr,reflection_hr
CRing,Ring,Abelianization,