homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
Simplicial presheaves over some site are
or equivalently, using the Hom-adjunction and symmetry of the closed monoidal structure on Cat
Regarding as a model category using the standard model structure on simplicial sets and inducing from that a model structure on makes simplicial presheaves a model for -stacks, as described at infinity-stack homotopically.
In more illustrative language this means that a simplicial presheaf on can be regarded as an -groupoid (in particular a Kan complex) whose space of -morphisms is modeled on the objects of in the sense described at space and quantity.
Notice that most definitions of -category the -category is itself defined to be a simplicial set with extra structure (in a geometric definition of higher category) or gives rise to a simplicial set under taking its nerve (in an algebraic definition of higher category). So most notions of presheaves of higher categories will naturally induce presheaves of simplicial sets.
In particular, regarding a group as a one object category and then taking the nerve of these (the “classifying simplicial set of the group whose geometric realization is the classifying space ), which is clearly a functorial operation, turns any presheaf with values in groups into a simplicial presheaf.
Here are some basic but useful facts about simplicial presheaves.
Every simplicial presheaf is a homotopy colimit over a diagram of Set-valued sheaves regarded as discrete simplicial sheaves.
More precisely, for a simplicial presheaf, let be given by . Then there is a weak equivalence
See for instance remark 2.1, p. 6
(which is otherwise about descent for simplicial presheaves).
Let be the canonical -enrichment of the category of simplicial presheaves (i.e. the assignment of SSet-enriched functor categories).
It follows in particular from the above that every such hom-object of simplical presheaves can be written as a homotopy limit (in SSet for instance realized as a weighted limit, as described there) over evaluations of .
First the above yields
Next from the co-Yoneda lemma we know that the Set-valued presheaves are in turn colimits over representables in , so that
And finally the Yoneda lemma reduces this to
Notice that these kinds of computations are in particular often used when checking/computing descent and codescent along a cover or hypercover. For more on that in the context of simplicial presheaves see descent for simplicial presheaves.
Applications appear for instance at
The original articles are
Kenneth S. Brown, Abstract homotopy theory and generalized sheaf cohomology. Transactions of the American Mathematical Society 186 (1973), 419-419. doi.
Kenneth S. Brown, Stephen M. Gersten, Algebraic K-theory as generalized sheaf cohomology. In: Higher K-Theories. Lecture Notes in Mathematics (1973), 266–292. doi.
The Joyal model structure on simplicial sheaves was constructed in 1984 by Joyal in
Simplicial sheaves were endowed with a structure of a category of fibrant objects in
The model structure on simplicial presheaves is due to Jardine:
A modern expository account is in
The local projective model structure (as opposed to the injective model structures used above) on simplicial presheaves and simplicial sheaves is due to
Further articles:
J. F. Jardine, Stacks and the homotopy theory of simplicial sheaves. Homology, Homotopy and Applications 3:2 (2001), 361-384. doi.
J. F. Jardine, Fields Lectures: Simplicial presheaves.
PDF.
For their interpretation in the more general context of (infinity,1)-sheaves see Section 6.5.2 of
Last revised on November 14, 2023 at 13:44:14. See the history of this page for a list of all contributions to it.