fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos
(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
Paths and cylinders
For a locally ∞-connected (∞,1)-topos and an object, we say that is the fundamental -groupoid of in .
for further discussion of the smooth shape modality of cohesion (the etale homotopy type operation in the context of smooth infinity-stacks) as applied to orbifolds and étale groupoids and generally étale ∞-groupoids.
Revised on April 14, 2015 14:50:45
by Urs Schreiber