cohomotopy

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 Special and general types group cohomology, nonabelian group cohomology, Lie group cohomology cohomology with constant coefficients / with a local system of coefficients Special...