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
The primary homotopy operations are the operations generated by
and
The primary homotopy operations encode via Pi-algebras (see there for more) into an algebraic structure akin to models for a Lawvere theory.
Last revised on November 30, 2025 at 19:47:00. See the history of this page for a list of all contributions to it.