b9954a1855176625.tex
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: