Editing Subcategory (section)

== Examples ==
* The category of [[Finite set|finite sets]] forms a full subcategory of the [[category of sets]].
* The category whose objects are sets and whose morphisms are [[Bijection|bijections]] forms a non-full subcategory of the category of sets.
* The [[category of abelian groups]] forms a full subcategory of the [[category of groups]].
* The category of [[Ring (mathematics)|rings]] (whose morphisms are [[Unit (ring theory)|unit]]-preserving [[ring homomorphism]]s) forms a non-full subcategory of the category of [[Rng_(algebra)|rngs]].
* For a [[Field (mathematics)|field]] ''K'', the category of ''K''-[[vector space]]s forms a full subcategory of the category of (left or right) ''K''-[[Module (mathematics)|modules]].