As classes of monomorphisms
A subobject of an object in a category is an isomorphism class of monomorphisms
into . (Two morphisms , are isomorphic if there exists an isomorphism such that .)
Monos into an object are preordered by a relation
defined by the condition that there exists such that . (There is at most one such since is monic, and such is monic since is monic.)
A subobject of may equivalently be defined as an element of the posetal reflection of this preorder.
In terms of over categories
Let be the full subcategory of the over category on monomorphisms. Then is the poset of subobjects of and the set of isomorphism classes of is the set of subobjects of . However this “set” can be in fact a proper class in general, see well-powered category.
More generally, in some contexts we may take “subobject” to mean an isomorphism class of morphisms satisfying some suitable condition other than being a monomorphism (usually a stronger one). Common choices are strong monomorphisms, regular monomorphisms, or the right class of some orthogonal factorization system. (The latter choice has the advantage that then images will automatically exist.)
- For example, in Top a monomorphism is just a continuous injective function, whereas the strong and regular monomorphisms coincide and are the subspace embeddings. In some contexts at least, one can argue that subspace embeddings are a more appropriate notion of “subobject” in (for example, if one wants to exhibit it as a locally bounded category). A similar thing happens in a quasitopos.
The partial order on the collection of subobjects internalizes into contexts more general than Set. For instance in every topos the subobject classifier has the structure of an internal poset (see there).
The poset of subobjects.
For an accessible category, any object, the poset of subobjects of is a small category.
Suppose is a well-powered category. Denote by the poset of subobjects of object in . The correspondence may be extended to a contravariant functor (that is a functor ), namely if is arbitrary and is an element of , i.e. monic, then the pullback of along is automatically a monic; the correspondence describes at the level of representatives of subobjects.
Limits and colimits of subobjects
Assume that the ambient category has all limits and colimits considered in the following.
For an object, the poset of subobjects and
their product in is denoted or and called the intersection or meet of the two subobjects;
their coproduct in is denoted or and called the union or join of the two subobjects.
Two subobjects are called disjoint if is the initial object.
Let be a topos.
The intersection of two subobjects in is their fiber product in : the diagram
is a pullback diagram.
The union of two subobjects is the pushout in : the diagram
is a pushout diagram.
This last pushout diagram is also a pullback diagram.
For the first point: Since monomorphism are (as discussed there) stable under pullback and composition, the fiber product is a subobject. Its universal property as a limit in then implies its universal property as a product in .
For the second point: by the same kind of argument, it is sufficient to show that the canonical morphism exhibits the coproduct as a subobject.
Since monomorphisms (as discussed there) are characterized by the fact that the pullback along themselves is their domain, it is sufficient to show that
is a pullback diagram. For showing this we use that in a topos we have universal colimits, so that equivalently it is sufficient to show that
To see this, again use universal colimits to get
This proves the second point.
The third point is directly verified by checking the universal property.
Comparison with the notion of “subset”
The notion of subobject figures prominently in topos theory and in other approaches to set theory based on categories. It is not an exact translation of the usual notion of “subset” in traditional set theory; in ordinary set theory, the notion of subset is defined in terms of a global elementhood relation between sets, which one doesn’t have in categorical set theory (and which one wouldn’t necessarily want: it’s “evil” in the sense of not being invariant with respect to isomorphism).
Category-theoretically, the traditional notion of subset gives a way of picking out a canonical representative or “normal form” among all the monos in an isomorphism class. As we intimated, there is no intrinsic way of defining such representatives in the theory of toposes: such would have to be considered an extra structure on a topos. Mathematically, there is no particular gain in having such structure around; at best it enables a traditional mode of discourse in which subsets are concrete maps, and to this end it can function as a linguistic or psychological convenience.
On the other hand, there is no particular harm either in having such structure around, as long as one remembers that it is not an isomorphism invariant. People will instinctively turn to canonical representatives whenever they can – think of what we would tell a student who asks for help understanding how to multiply elements in – and even category theorists do so when they are available.
Standard textbook references include section I.3 of