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

### 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}$.

## Examples

Revised on May 30, 2011 14:42:42 by Urs Schreiber (131.211.239.186)