Explore relationships

Subcategory

In mathematics, specifically category theory, a subcategory of a categoryC{\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.

Use + to expand a branch. Click a topic name to open its summary.