nLab
poset of subobjects

Idea

Given any object $X$ in any category $C$, the subobjects of $X$ form a poset (though in general it may be a large one, i.e. a partially ordered proper class; cf. well-powered category). This is called, naturally enough, the poset of subobjects of $X$, or the subobject poset of $X$.

Sometimes it is the poset of regular subobjects that really matters (although these are the same in any (pre)topos).

Properties

If $C$ is finitely complete, then the subobjects form a meet-semilattice, so we may speak of the semilattice of subobjects.

In any coherent category (such as a pretopos), the subobjects form a distributive lattice, so we may speak of the lattice of subobjects.

In any Heyting category (such as a topos), the subobjects of $X$ form a Heyting algebra, so we may speak of the algebra of subobjects.

The reader can probably think of other variations on this theme.

Related concepts

• If one opts for the alternative¹ definition that subobjects are monomorphisms into the object (not isomorphism classes thereof), then one gets a preorder of subobjects instead. In any case, the poset of subobjects $Sub(X)$ in our sense is the posetal reflection of the preorder $Mono(X)$ of subobjects in the alternative sense, and of course the reflection quotient map $Mono(X) \to Sub(X)$ is an equivalence.

• lattice of subgroups

• well-powered category

References

• Elephant
• mathoverflow (https://mathoverflow.net/users/2841/martin-brandenburg), Concise definition of subobjects, URL (version: 2014-10-11): https://mathoverflow.net/q/184196

---

1. Discussions of this can be found in A.1.3 of Johnstone’s Elephant, and also this MO discussion. ↩