(∞,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
A constant sheaf is a sheaf (on some site C) that is isomorphic to the sheafification of a constant presheaf (a constant functor).
Together with the global section functor, the constant sheaf functor is a geometric morphism
from the sheaf topos to the topos Set.
A locally constant sheaf / -stack is also called a local system.
See also at constant presheaf.
Revised on June 20, 2013 12:40:08
by Urs Schreiber