nLab
universal colimits
**
(∞,1)-topos theory**
## Contents ##
*
(∞,1)-topos
*
(n,1)-topos
*
(∞,1)-category of (∞,1)-sheaves
*
(∞,1)-category
*
(∞,1)-presheaf
*
(∞,1)-sheaf/
∞-stack
*
models for ∞-stack (∞,1)-toposes
*
model structure on simplicial presheaves
## Characterization ##
*
universal colimits
*
object classifier
*
groupoid object in an (∞,1)-topos
## Constructions ##
*
shape
*
cohomology
*
homotopy
*
rational homotopy
[Edit this sidebar](/nlab/edit/%28infinity%2C1%29-topos+-+contents)
Contents
Idea
One says – at least in the context of Giraud's axioms for toposes and (∞,1)-toposes) – that colimits are universal in a context in which they are stable under pullback. This is described in more detail at commutativity of limits and colimits.
The statement “colimits are universal” is then one of Giraud's axiom?s that characterize Grothendieck toposes in the 1-categorical context and Grothendieck-Rezk-Lurie (∞,1)-toposes in the higher categorical context.
References
Section 6.1.1 of
Revised on February 22, 2010 19:36:07
by
Urs Schreiber
(131.211.234.184)