Category theory MOC

Subcategory

A subcategory of a category is a category containing subclasses of objects and morphisms in , i.e. for any also and . #m/def/cat It comes with the natural inclusion which is clearly a Faithful functor.

• A full subcategory is a subcategory of for which the inclusion functor is fully faithful, i.e. for all .
• A wide subcategory is a subcategory of containing all objects of .
• An essentially wide subcategory is a subcategory containing a skeleton category of .

Examples

• is a full subcategory of

#state/tidy | #lang/en | #SemBr