Subcategory
= Subcategory
A subcategory $\mathcal S$ of a <category> $\mathcal C$ specifies some objects and some <morphisms> between them, containing their identities and closed under composition. It is full if it contains every ambient morphism between its selected objects. A <skeleton of a category> is a full subcategory containing one object from each isomorphism class.