BabelNet

bn:02461508n

Noun Concept

Categories: Hierarchy, Category theory

subcategory full embedding full subcategories full subcategory inclusion functor

In mathematics, specifically category theory, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms. Wikipedia

Definitions

Relations

Sources

In mathematics, a category, whose objects and morphisms are inside a bigger category Wikidata

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. Wiktionary

IS A