of a given category is meant to be full, if it includes “some objects but all the morphisms between these objects”.
This means at least that is a fully faithful functor. In fact, that is the most one may demand while respecting the principle of equivalence of category theory and hence constitutes an invariant definition of full subcategory (Def. below).
However, a fully faithful functor need not be an injective function on objects (it is so only up to equivalence of categories). If one insists on defining a subcategory inclusion to involve an injective function on the sets of objects and morphisms, this condition must be added to the condition of the inclusion functor being fully faithful. This leads to a non-invariant definition, discussed below.
See also the discussion at subcategory (here).
If one accepts the notion of subcategory without any qualification (as discussed there), then:
A subcategory of a category is a full subcategory if for any and in , every morphism in is also in (that is, the inclusion functor is full).
This inclusion functor is often called a full embedding or a full inclusion.
Notice that to specify a full subcategory of , it is enough to say which objects belong to . Then must consist of all morphisms whose source and target belong to (and no others). One speaks of the full subcategory on a given set of objects.
This means that equivalently we can say:
A subcategory-inclusion functor exhibits as a full subcategory of precisely if it is a full and faithful functor. ( is the essential image of ).
Up to equivalence of categories, every fully faithful functor is equivalent to a subcategory-inclusion in these sense of being an injection on the set of objects.
Therefore, the definition of full subcategory which respects the principle of equivalence is simply this:
A fully faithful functor (hence a full subcategory inclusion) reflects all limits and colimits.
This is evident from inspection of the defining universal property.
Last revised on June 26, 2023 at 11:54:52. See the history of this page for a list of all contributions to it.