nLab
étale infinity-groupoid

Context

Étale morphisms

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

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

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

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

A formalization in differential cohesion is discussed there.

Revised on March 15, 2013 15:36:56 by Urs Schreiber (82.169.65.155)