Diagrams indexed by Grothendieck constructions (Q1004510)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diagrams indexed by Grothendieck constructions |
scientific article |
Statements
Diagrams indexed by Grothendieck constructions (English)
0 references
10 March 2009
0 references
The Grothendieck construction takes a diagram of small categories over a category \({\mathcal I}^{\text{op}}\) to a small category over \({\mathcal I}\). The first observation is that this functor is both a left and a right adjoint. By considering the model structure on the category of small categories with weak equivalences the equivalences of categories and with cofibrations the functors which are inclusions on objects, these two adjunctions become Quillen adjunctions. These two adjunctions are even Quillen equivalences if \({\mathcal I}\) is a groupoid. Under some additional conditions, these adjunctions generalize to the setting of simplicial sets by replacing \({\mathcal I}\) by its simplicial nerve. Finally, the preceding constructions are generalized for diagrams of simplicial sets indexed by Grothendieck constructions. The author gives several applications of these results. The main application is a Quillen equivalence between the categories of presheaves of simplicial sets (resp. groupoids) on a stack \({\mathcal M}\) and presheaves of simplicial sets (resp. groupoids) over \({\mathcal M}\).
0 references
Grothendieck construction
0 references
homotopy theory of diagrams
0 references
stack
0 references