Given a category , a subcategory consists of a subcollection of the collection of objects of and a subcollection of the collection of morphisms of such that:
If the morphism is in , then so are and .
If and are in , then so is the composite .
If is in then so is the identity morphism .
These conditions ensure that is a category in its own right and the inclusion is a functor. Additionally, we say that is…
A full subcategory if for any and in , every morphism in is also in (that is, the inclusion functor is full).
A replete subcategory if for any in and any isomorphism in , both and are also in .
A wide subcategory if every object of is also an object of .
Just as subsets of a set can be identified with isomorphism classes of monic functions into , subcategories of a category can be identified with isomorphism classes of monic functors into . A functor is easily verified to be monic iff it is faithful and injective on objects. This can be generalized to monomorphisms in a strict 2-category.
However, this notion violates the principle of equivalence since being injective-on-objects refers to equality of objects. This raises the question: what is a good definition of subobject in a 2-category in accord with the principle of equivalence? It is the contention of the authors of this page that there are multiple such definitions. Two evident ones are:
The obvious generalizations (at least, obvious once you start thinking in terms of -surjectivity) are that every morphism is 3-monic, while the 0-monic morphisms are the equivalences. (Note that this numbering is offset by one from that used in Baez and Shulman.) There is likewise an evident generalization to -monomorphisms in any -category.
It is fairly undisputed that 1-subobjects, as defined above, are a good notion of subobject in a 2-category. In particular, any full and faithful functor in is equivalent to the inclusion of a full subcategory (here is the full image of ). Also, in a 1-category considered as a locally discrete 2-category, the 1-monomorphisms are precisely the usual sort of monomorphism.
In fact, any faithful functor is likewise equivalent to the inclusion of a (non-full) subcategory, but in this case the codomain must be modified as well as the domain. It is somewhat more disputable whether 2-subcategories all deserve to be called “subcategories;” for instance, is Grp a “subcategory” of Set? Note also that any functor between discrete categories is faithful, so that the terminal category has a proper class of inequivalent 2-subcategories, and similarly every morphism in a locally discrete 2-category is 2-monic. However, kernels of morphisms between 2-groups are 2-subobjects, not 1-subobjects, and likewise for any subgroup of a group (considered as a 1-object category). This motivates the term “2-subobject,” to make it clear that there is some relationship with the sort of subobjects we are used to in 1-categories, but also some notable generalization.
Other types of morphism in a 2-category which have some claim to be considered “subobjects” include pseudomonic morphisms and conservative morphisms. Pseudomonic morphisms might merit a name such as (2,1)-subcategory, since a functor is pseudomonic iff it is faithful (a 2-subcategory) and its induced functor between underlying groupoids is fully faithful (a 1-subcategory). See also stuff, structure, property.
A different way to describe subcategories is as displayed categories satisfying certain properties. This is analogous to defining a subset by its characteristic function, which allows to define subsets without a notion of global membership.
A subcategory of a category is a displayed category over such that all and are propositions. We can recover a subcategory in the original sense by taking the Grothendieck construction of . The identity and composition in the displayed category correspond precisely to the inclusion of the subcategory being closed under identity and composition.
We can also capture the above flavors of subcategory by adding further conditions to . We say is…
Last revised on February 9, 2024 at 17:35:28. See the history of this page for a list of all contributions to it.