# nLab étale infinity-groupoid

### Context

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

(∞,1)-topos theory

## 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 terms of differential cohesion is discussed at differential cohesion – Structures – cohesive étale ∞-groupoids.

Revised on July 15, 2014 23:43:49 by Urs Schreiber (89.204.139.198)