(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
A categorification of the Dold-Kan correspondence appears in (Dyckerhoff17), where Ab, the category of abelian groups, is replaced by the (∞,2)-category of stable (∞, 1)-categories.
The equivalence between simplicial abelian groups and connective chain complexes from the ordinary Dold-Kan correspondence becomes an equivalence between 2-simplicial stable (∞, 1)-categories and connective chain complexes of stable (∞, 1)-categories.
This should lead to a categorified version of homological algebra and of cohomology, for example, through a categorified version of an Eilenberg-Mac Lane spectrum.
The nerve in the ordinary Dold-Kan correspondence sends a connective chain complex in an abelian category to a simplicial object in . The categorified nerve, , is playing an analogous role on connective chain complexes of stable (∞, 1)-categories. This nerve unifies various known constructions from algebraic K-theory, in particular, for all stable (∞, 1)-categories:
For , the chain complex concentrated in degree 1, is a -version of the Waldhausen S-construction.
For , then applying to the corresponding chain complex concentrated in degrees and is an -version of the relative Waldhausen S-construction.
For the chain complex concentrated in degree , is an -version of Hesselholt-Madsen’s -construction. (See the reference at real algebraic K-theory.)
For the chain complex concentrated in degree , can be seen as a categorification of the Eilenberg-Mac Lane space .
Last revised on October 25, 2017 at 13:51:44. See the history of this page for a list of all contributions to it.