(∞,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
An étale ∞-groupoid is meant to be an ∞-groupoid-analog to an étale groupoid.
A formalization of the petit (∞,1)-toposes corresponding to étale ∞-groupoids is in
A characterization of étale ∞-groupoids as objects in a big (∞,1)-topos is given in
and aspects of their geometric realization/shape modality are discussed in
A formalization in terms of differential cohesion is discussed at differential cohesion – Structures – cohesive étale ∞-groupoids.
Revised on November 26, 2015 08:06:14
by Urs Schreiber