nLab
étale infinitygroupoid
Context
Étale morphisms
$(\infty,1)$Topos Theory
(∞,1)topos theory
Background
Definitions

elementary (∞,1)topos

(∞,1)site

reflective sub(∞,1)category

(∞,1)category of (∞,1)sheaves

(∞,1)topos

(n,1)topos, ntopos

(∞,1)quasitopos

(∞,2)topos

(∞,n)topos
Characterization
Morphisms
Extra stuff, structure and property

hypercomplete (∞,1)topos

over(∞,1)topos

nlocalic (∞,1)topos

locally nconnected (n,1)topos

structured (∞,1)topos

locally ∞connected (∞,1)topos, ∞connected (∞,1)topos

local (∞,1)topos

cohesive (∞,1)topos
Models
Constructions
structures in a cohesive (∞,1)topos
Contents
Idea
An étale ∞groupoid is meant to be an ∞groupoidanalog to an étale groupoid.
For details see at Vmanifold.
References
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 as Vmanifolds in terms of differential cohesion is discussed at differential cohesion – Structures – cohesive étale ∞groupoids.
The formalization of this in homotopy type theory is discussed in
Revised on July 3, 2017 15:28:53
by
Urs Schreiber
(88.77.226.246)