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 theory of simplicial presheaves and of simplicial sheaves was developed by J. Jardine in a long series of articles, some of which are listed below. It’s usage as a model for infinity-stacks was developed by Töen as described at infinity-stack homotopically.
For their interpretation in the more general context of (infinity,1)-sheaves see section 6.5.2 of
Last revised on July 14, 2020 at 04:49:52. See the history of this page for a list of all contributions to it.