🇬🇧 en fr 🇫🇷

subcategory noun

  • (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
 sous-catégorie
Wiktionary Links