subcategory

A subdivision that has common differentiating characteristics within a larger category.

With respect to a given category, a more narrow category.

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