subcategory,subcategory_label,supercategory,supercategory_label,reflector_hr,reflection_hr
Cat,Cat,SSet,SSet,homotopy category,nerve