subcategory

• sub-category

From sub- +‎ category.

subcategory (plural subcategories)

1. With respect to a given category; a narrower category.
   • 2024 August 8, Leslie Feinberg, “1952 court victory against anti-gay charges”, in Workers World‎^[1]:

     The moment subcategories of the overall population are denied rights, the rights of all are threatened.

2. (category theory) A subclass of a category which is itself a category, whose arrows are a restriction of the arrows of the parent category, and whose composition rule is a restriction of the parent category's.

   Synonym: child category

   Synonym: supercategory

• category