subcategory,supercategory,kind
Cat,SSet,reflection