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 generalization of the van Kampen theorem from Top to Topos.
Last revised on October 30, 2012 at 22:39:57. See the history of this page for a list of all contributions to it.