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