Common · Knowledge
Subcategory
In mathematics, a category, whose objects and morphisms are inside a bigger category
In mathematics, specifically category theory, a subcategory of a category C {\displaystyle {\mathcal {C}}} is a category S {\displaystyle {\mathcal {S}}} whose objects are objects in C {\displaystyle {\mathcal {C}}} and whose morphisms are morphisms in C {\displaystyle {\mathcal {C}}} with the same identities and composition of morphisms. Intuitively, a subcategory of C {\displaystyle {\mathcal {C}}} is a category obtained from C {\displaystyle {\mathcal {C}}} by "removing" some of its objects and arrows.
From Wikipedia
In mathematics, specifically category theory, a subcategory of a category C {\displaystyle {\mathcal {C}}} is a category S {\displaystyle {\mathcal {S}}} whose objects are objects in C {\displaystyle {\mathcal {C}}} and whose morphisms are morphisms in C {\displaystyle {\mathcal {C}}} with the same identities and composition of morphisms. Intuitively, a subcategory of C {\displaystyle {\mathcal {C}}} is a category obtained from C {\displaystyle {\mathcal {C}}} by "removing" some of its objects and arrows.
Text: Wikipédia, CC BY-SA 4.0. · Image: Melikamp (CC BY-SA 3.0) ·
Related cards
-
H★
Higher category theory
Generalization of category theory for higher-order morphisms
-
★
Product (category theory)
Mathematical term of an generalized object in category theory
-
T★★★
Theory of categories
Philosophical concept
-
★★
Lagrange's theorem (group theory)
Group theory
-
★★
Category (Kant)
In Kantian philosophy, a pure concept of the understanding (Verstand); a characteristic of the appearance of any object in general, before it has been experienced
-
G★
Germ (mathematics)
Equivalence class of objects sharing local properties at a point in a topological space