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 November 26, 2024 at 17:56:06. See the history of this page for a list of all contributions to it.