1: \begin{definition}\label{doldkan}

2: Let $N^s$ denote simplicial normalisation from simplicial abelian groups to non-negatively graded chain complexes, given by  $N^s(V)_n:=\bigcap_{i>0}\ker (\pd_i: V_n \to V_{n-1})$, with differential $\pd_0$.

3: Let $N_c$ denote cosimplicial conormalisation from cosimplicial abelian groups to  non-negatively graded cochain complexes, given by $N_c(V)^n :=\bigcap_{i\ge 0}\ker (\sigma^i: V^n \to V^{n-1})$, with differential $\sum_i (-1)^i \pd^i$. By the Dold-Kan correspondence (\cite{W} Theorem 8.4.1, passing to opposite categories and using \cite{W} Lemma 8.3.7 in the cosimplicial case), these functors are both equivalences;  

4:  let $D_c$ be the  cosimplicial denormalisation functor, inverse to $N_c$.

5: \end{definition}

6: