(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
An étale ∞-groupoid is meant to be an ∞-groupoid-analog to an étale groupoid.
For details see at V-manifold.
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 3, 2017 at 15:28:53. See the history of this page for a list of all contributions to it.