Dold-Kan correspondence

🗓️ Timeline
  • 2021-10-03

    Alternatively: take subcategory of fibrant objects, observe enrichment over chain complexes, apply Dold-Kan to get a simplicial enrichment, then take the homotopy coherent nerve or simplicial nerve.

    Getting a chain complex from a simplicial set : take free \({\mathbf{Z}}{\hbox{-}}\)modules levelwise, then apply Dold-Kan.

#todo/untagged #todo/add-references #todo/create-links