(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
Special and general types
Recall that a locally constant sheaf (of sets) is a section of the constant stack with fiber the groupoid , the core of the category FinSet.
This extends to a general pattern:
a locally constant -stack is a section of the constant ∞-stack that is constant on the ∞-groupoid .
For an (∞,1)-sheaf (∞,1)-topos there is the terminal (∞,1)-geometric morphism
consisting of the global section and the constant ∞-stack (∞,1)-functor.
Write for the core ∞-groupoid of the (∞,1)-category of finite -groupoids. (We can drop the finiteness condition by making use of a larger universe.) This is canonically a pointed object .
Notice the for any object, the over-(∞,1)-topos is the little -topos of . Objects in here we may regard as -stacks on .
For an object a locally constant -stack on is an morphism .
The ∞-groupoid of locally constant -stacks on is
Here are commented references that establish aspects of the above general abstract situation.
Locally constant 1-stacks and 2-stacks on topological spaces
A discussion of locally constant 2-stacks over topological spaces is in
We indicate briefly how the results stated in this article fit into the general abstract picture as indicated above:
The authors consider locally constant 1-stacks and 2-stacks on sites of open subsets of topological spaces.
Prop. 1.1.9 gives the adjunction
between forming constant stacks and taking global sections.
Then prop 1.2.5, 1.2.6, culminating in theorem 1.2.9, p. 121 gives (somewhat implicitly) the other adjunction
with the right adjoint to being the fundamental groupoid functor on representables. (Where we change a bit the perspective on the results as presented there, to amplify the pattern indicated above. For instance where the authors write we think of this here equivalently as , so that the theorem then gives the adjunction equivalence ).
Then in essentially verbatim analogy, these results are lifted from stacks to 2-stacks in section 2, where now prop 2.2.2, 2.2.3, culminating in theorem 2.2.5, p. 132 gives (somewhat implicitly) the adjunction
now with the path 2-groupoid operation (locally) left adjoint to forming constant 2-stacks. (Subjct verbatim to a remark as above.)
Locally constant -stacks on topological spaces
A discussion of locally constant -stacks over topological spaces is in
In theorem 2.13, p. 25 the author proves an equivalence of (∞,1)-categories (modeled there as Segal categories)
of locally constant ∞-stacks on and Kan fibrations over the fundamental ∞-groupoid .
But by the right Quillen functor from the Quillen model structure on simplicial sets to the Joyal model structure on simplicial sets every Kan fibration is a categorical fibration and every categorical fibration over a Kan complex is a Cartesian fibration (as discussed there) and a coCartesian fibration. Finally, by the (∞,1)-Grothendieck construction, these are equivalent to (∞,1)-functors .
In total this means that via the Grothendieck construction Toën’s result does actually produce an equivalence
A locally constant sheaf / -stack is also called a local system.
Section A.1 of
See also the references at geometric homotopy groups in an (∞,1)-topos.