Subcategory
Category whose objects and morphisms are inside a bigger category / From Wikipedia, the free encyclopedia
For subcategories on Wikipedia, see Wikipedia:Subcategories.
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. Intuitively, a subcategory of C is a category obtained from C by "removing" some of its objects and arrows.