nLab étale infinity-groupoid

Contents

Context

Étale morphisms

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

An étale ∞-groupoid is meant to be an ∞-groupoid-analog to an étale groupoid.

For details see at V-manifold.

Examples

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 V-manifolds 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

Last revised on July 13, 2020 at 09:40:34. See the history of this page for a list of all contributions to it.