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 into an algebraic structure akin to models for a Lawvere theory. (This is discussed more fully in the entry on Pi-algebras.)
Last revised on November 6, 2010 at 16:51:08. See the history of this page for a list of all contributions to it.