Statements (26)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
abelian categories
|
gptkbp:describes |
equivalence between simplicial abelian groups and chain complexes of abelian groups in non-negative degrees
|
gptkbp:establishedIn |
1958
|
gptkbp:field |
gptkb:category_theory
homological algebra |
gptkbp:generalizes |
gptkb:Dold–Puppe_correspondence
gptkb:non-abelian_Dold–Kan_correspondence |
gptkbp:hasApplication |
gptkb:topology
higher category theory model categories derived categories homotopical algebra |
https://www.w3.org/2000/01/rdf-schema#label |
Dold–Kan correspondence
|
gptkbp:isEquivalenceOfCategories |
chain complexes of abelian groups in non-negative degrees
simplicial abelian groups |
gptkbp:namedAfter |
gptkb:Albrecht_Dold
gptkb:Daniel_Kan |
gptkbp:provides |
functorial equivalence
|
gptkbp:publishedIn |
gptkb:Mathematische_Annalen
|
gptkbp:relatedTo |
chain complexes
simplicial objects |
gptkbp:bfsParent |
gptkb:Albrecht_Dold
gptkb:A._Dold gptkb:Christoph_Dold |
gptkbp:bfsLayer |
7
|