nLab model structure on homotopical presheaves

Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Contents

Idea

For VV a sufficiently nice (monoidal) model category and CC a small category equipped with a Grothendieck topology τ\tau, there are left Bousfield localizations of the global model structure on functors [C op,V][C^{op}, V] whose fibrant objects satisfy descent with respect to ?ech cover?s or even hypercovers with respect to τ\tau.

These model structures are expected to model VV-valued ∞-stacks on CC. This is well understood for the case V=V = SSet equipped with the standard model structure on simplicial sets modelling ∞-groupoids. In this case the resulting local model structure on simplicial presheaves is known to be one of the models for ∞-stack (∞,1)-toposes.

But the general localization procedure works for choices of VV different from and more general than SSet with its standard model structure. In particular it should work for

For these cases the local model structure on VV-valued presheaves should model, respectively, (n,r)(n,r)-category valued sheaves/stacks and (,1)(\infty,1)-operad valued sheaves/stacks.

References

The general localization result is apparently due to

  • Clark Barwick, On left and right model categories and left and right Bousfield localization Homology, Homotopy and Applications, vol. 12(2), 2010, pp.245–320 (pdf)

which considers the ?ech cover?-localization assuming VV to be monoidal and

  • Joseph Ayoub, Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (pdf)

which apparently does the hypercover descent and without assuming VV to be monoidal.

Much of this was kindly pointed out by Denis-Charles Cisinski in discussion here.

Last revised on April 30, 2013 at 18:49:36. See the history of this page for a list of all contributions to it.