subcategory,supercategory,kind AbTorF,Ab,reflection