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
In simplicial homotopy theory there is a standard construction [Kan (1958a), Kan (1958b)] – traditionally denoted “$G$” – for the simplicial analog of the homotopy type of the loop space $\Omega X$ of a connected topological space, now incarnated as a simplicial group: It is the left adjoint in an adjunction
between pointed simplicial sets and simplicial groups, whose right adjoint is the simplicial classifying space construction.
This adjunction is a Quillen adjunction for the Kan–Quillen model structure on pointed simplicial sets and its transferred model structure on simplicial groups (more on which at model structure on simplicial groups).
When restricted to reduced simplicial sets, this Quillen adjunction becomes a Quillen equivalence which exhibits the homotopy theory of simplicial groups as equivalent to the classical homotopy theory of pointed connected homotopy type homotopy type (cf. at looping and delooping).
The generalization of the Kan loop group construction to non-reduced simplicial sets – and then taking values in simplicial groupoids – is the Dwyer-Kan loop groupoid functor.
(Quillen equivalence between simplicial groups and reduced simplicial sets)
The simplicial classifying space-construction $\overline{W}(-)$ is the right adjoint in a Quillen equivalence between the projective model structure on simplicial groups and the injective model structure on reduced simplicial sets.
The left adjoint $\Omega$ is the simplicial loop space-construction.
(e.g. Goerss & Jardine 09, V Prop. 6.3)
The original articles:
Daniel M. Kan, Section 9 of: A combinatorial definition of homotopy groups, Annals of Mathematics 67 2 (1958) 282–312 [doi:10.2307/1970006]
Daniel M. Kan, Sections 10–11 in: On homotopy theory and c.s.s. groups, Ann. of Math. 68 (1958) 38-53 [jstor:1970042]
Early review:
A modern monograph account:
More details and relation to décalage:
Last revised on May 28, 2023 at 20:07:07. See the history of this page for a list of all contributions to it.