subcategory,supercategory
Ho(Grpd),Ho(Cat)