nLab pointed homotopy type

Redirected from "pointed infinity-groupoid".
Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

A pointed homotopy type, i.e. pointed infinity-groupoid, i.e. an object in the coslice (∞,1)-category of ∞Grpd under the point:

XGrpd */ X \in \infty Grpd^{\ast/}

References

Last revised on June 25, 2022 at 18:47:52. See the history of this page for a list of all contributions to it.