nLab
fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos
Context
$(\infty,1)$ -Topos Theory
(∞,1)-topos theory

Background
Definitions
elementary (∞,1)-topos

(∞,1)-site

reflective sub-(∞,1)-category

(∞,1)-category of (∞,1)-sheaves

(∞,1)-topos

(n,1)-topos , n-topos

(∞,1)-quasitopos

(∞,2)-topos

(∞,n)-topos

Characterization
Morphisms
Extra stuff, structure and property
hypercomplete (∞,1)-topos

over-(∞,1)-topos

n-localic (∞,1)-topos

locally n-connected (n,1)-topos

structured (∞,1)-topos

locally ∞-connected (∞,1)-topos , ∞-connected (∞,1)-topos

local (∞,1)-topos

cohesive (∞,1)-topos

Models
Constructions
structures in a cohesive (∞,1)-topos

Homotopy theory
Background
Variations
Definitions
Paths and cylinders
Homotopy groups
Theorems
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}$ .

Properties
Examples

Revised on May 30, 2011 14:42:42
by

Urs Schreiber
(131.211.239.186)