Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
Let $C$ be a category with pullbacks and colimits of some shape $D$. We say that colimits of shape $D$ are stable by base change, or stable under pullback, or that these colimits are universal if for every functor $F : D \to C$ and for all pullback diagrams of the form
the canonical morphism
is an isomorphism. This is equivalent to saying that every pullback functor $f^*: C/Z \to C/Y$ preserves $D$-colimits. Similar definitions can be given for higher categories.
The stability of all colimits is one of Giraud's axioms that characterize Grothendieck toposes in the 1-categorical context and Grothendieck-Rezk-Lurie (∞,1)-toposes in the higher categorical context. The fact that colimits are stable in toposes can be seen from the characterization of toposes as left-exact reflective subcategories of presheaf categories as follows:
For (∞,1)-toposes, this is HTT, theorem 6.1.0.6 (3) ii)
More generally, colimits are stable in any locally cartesian closed category, since in that case the pullback functors $f^*$ all have right adjoints. Conversely, if $C$ is cocomplete with all stable colimits, and the adjoint functor theorem applies to all its slice categories, then it is locally cartesian closed.
Colimits are also stable any regular infinitary extensive category.
But colimits are not stable in, for instance, $C =$ Ab.
Although stability of colimits appears as a sort of “commutativity” between colimits and pullbacks, it is not literally an instance of commutativity of limits and colimits. It is an example of the latter if the colimit over $D$ of the diagram constant on a single object (such as $Y$) is that single object. For ordinary colimits in category theory this is a mild condition, requiring $D$ to be a connected category; but in higher category theory this becomes an ever stronger condition; for colimits in an (infinity,1)-category it means that the infinity-groupoid generated by $D$ is contractible homotopy type (see this corollary).
It is generally true that (1) is an example of distributivity of limits over colimits; see there.
Last revised on February 26, 2018 at 20:25:42. See the history of this page for a list of all contributions to it.