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
geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
In generalization of the notion of weak homotopy equivalences from plain homotopy theory to equivariant homotopy theory, a map of G-spaces is called an equivariant weak homotopy equivalence if it induces isomorphisms on all equivariant homotopy groups.
See the references at equivariant homotopy group.
Detection in terms of free homotopy sets:
Created on October 31, 2021 at 05:41:06. See the history of this page for a list of all contributions to it.