A category is exhaustive if it has colimits of (transfinite) sequences of monomorphisms which interact well with pullbacks.
Given a transfinite sequence
(continuing through for all , where is some limit ordinal) for which each transition map is a monomorphism, if is a colimit of this sequence (a transfinite composition) we call it a transfinite union.
A category is exhaustive if one, hence both, of the following two equivalent conditions hold.
has transfinite unions which are stable under pullback and for which the coprojections are also monomorphisms.
has transfinite unions, and given any diagram
in which the bottom row is a transfinite union and for each , the square
is a pullback (hence is also monic), then the top row is a transfinite union (i.e. a colimit diagram) if and only if for all the square
is a pullback. (In other words, transfinite unions are van Kampen colimits.)
Note that half of the second condition is simply that the colimits in the first condition are stable under pullback. One may obtain various weaker notions by restricting the allowable values of .
We will prove the equivalence of these two characterizations in Propositions 1 and 2 below.
The category Set is easily verified to be exhaustive.
Since limits and colimits in presheaf categories are pointwise, any presheaf category is also exhaustive.
Since the condition involves only colimits and finite limits, it is preserved by any left exact localization. Thus, every Grothendieck topos is exhaustive.
We first prove the equivalence of the above two definitions.
In a category which satisfies the second definition above, given a transfinite union
(so that is monic for all ), the coprojections are also monic.
For a fixed , consider the diagram
It is easy to see that each intermediate square is a pullback, and of course the top row is a colimit. Thus, in particular the square
is a pullback, i.e. is monic.
Suppose satisfies the first condition above, i.e. it has pullback-stable transfinite unions for which the coprojections are also monic. Then also satisfies the second condition above.
It remains to show that given a diagram
in which both rows are transfinite compositions of monomorphisms and the squares
are pullbacks, also the squares
Fix an , and suppose given such that factors through ; we want to show that factors through . Pulling back the -colimit along and the -colimit along , we obtain another morphism of transfinite unions:
and it is easy to verify, by the pasting law for pullbacks, that each square
is a pullback for . However, since factors through , the morphism is split epic whenever , hence (since it is also monic) an isomorphism. Thus, in this case so is its pullback . Since the coprojections into a transfinite composite of a sequence that eventually consists of isomorphisms are also eventually isomorphisms, is an isomorphism; hence factors through as desired.
Exhaustiveness also interacts well with other exactness properties:
If an exhaustive category is also finitary extensive, then it is infinitary extensive.
A coproduct of cardinality can be constructed using transfinite compositions and finite coproducts:
Finitary extensivity implies that all the transition maps are monic, so that these transfinite composites exist in an exhaustive category. Pullback-stability of coproducts follows easily from pullback-stability of transfinite unions and of finite coproducts. Finally, it is known (see extensive category) that if finite coproducts exist and are disjoint, then any infinite coproducts which exist are also disjoint.
Colimits in an exhaustive category preserve finite limits.
In an exhaustive category, if is the -indexed transfinite union of a sequence and also a sequence , then it is also the transfinite union of the sequence (the intersection being taken as subobjects of ).
Since transfinite unions are stable under pullback, is the colimit of the -indexed diagram . But is a filtered category, so its diagonal functor is final.
In an exhaustive category, given a pullback diagram of -indexed transfinite sequences of monomorphisms:
the induced square of colimits:
is also a pullback.
Define so that the following square is a pullback:
Since pullbacks preserve transfinite unions, is the transfinite union of the sequnece and also the sequence . Thus, by Lemma 1, is also the transfinite union of . However, using the fact that the inclusions are monic, it is straightforward to verify that
Thus, is the transfinite union of , hence .
In an exhaustive category, transfinite unions preserve monomorphisms. That is, given a transformation of transfinite sequences of monomorphisms which is pointwise monic, also the induced map on colimits is monic.
- The name “exhaustive category” is a coinage; there seems to be no established name in the literature for this exactness property. See this MO question.