Dold–Kan correspondence (source code)

= Dold–Kan correspondence
{c}
{wiki}

The normalized-chain functor gives an equivalence between <simplicial abelian groups> and nonnegatively graded <chain complexes> of abelian groups. Its inverse is the Eilenberg–MacLane denormalization functor $K$.