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