# nLab fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos

Contents

### Context

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

(∞,1)-topos theory

## Constructions

structures in a cohesive (∞,1)-topos

# Contents

## Definition

For $(\Pi \dashv \Gamma \dashv LConst) : \mathbf{H} \to \infty Grpd$ a locally ∞-connected (∞,1)-topos and $X \in \mathbf{H}$ an object, we say that $\Pi(X)$ is the fundamental $\infty$-groupoid of $X$ in $\mathbf{H}$.

## References

See also

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.

Last revised on April 14, 2015 at 14:50:45. See the history of this page for a list of all contributions to it.