(U) a given category; a narrower category.
(quote-journal)
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.
(syn)