subcategory,supercategory,reflector_hr,reflection_hr
CompMet,Met,Cauchy completion,