\( \usepackage{mathrsfs} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\Coh}{Coh} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\cHom}{\underline{Hom}} \DeclareMathOperator{\Tor}{Tor} \DeclareMathOperator{\Ext}{Ext} \DeclareMathOperator{\inj}{inj} \DeclareMathOperator{\im}{im} \DeclareMathOperator{\coim}{coim} \DeclareMathOperator{\coker}{coker} \DeclareMathOperator{\eq}{eq} \DeclareMathOperator{\op}{op} \DeclareMathOperator{\ob}{ob} \DeclareMathOperator{\coeq}{coeq} \DeclareMathOperator{\cone}{cone} \DeclareMathOperator{\Sing}{Sing} \DeclareMathOperator{\Ch}{Ch} \DeclareMathOperator{\Ab}{\text{Ab}} \DeclareMathOperator{\Top}{\text{Top}} \DeclareMathOperator{\Rmod}{R\text{mod}} \DeclareMathOperator{\SSet}{\text{SSet}} \DeclareMathOperator{\sAb}{\text{sAb}} \DeclareMathOperator{\cA}{\mathcal{A}} \DeclareMathOperator{\cB}{\mathcal{B}} \DeclareMathOperator{\cC}{\mathcal{C}} \DeclareMathOperator{\cO}{\mathcal{O}} \DeclareMathOperator{\cM}{\mathcal{M}} \DeclareMathOperator{\sC}{\mathscr{C}} \DeclareMathOperator{\sF}{\mathscr{F}} \DeclareMathOperator{\sW}{\mathscr{W}} \DeclareMathOperator{\dd}{\partial} \DeclareMathOperator{\rd}{\mathrm{d}} % Rings \DeclareMathOperator{\Mat}{Mat} \DeclareMathOperator{\CC}{\mathbf{C}} \DeclareMathOperator{\PP}{\mathbf{P}} \DeclareMathOperator{\QQ}{\mathbf{Q}} \DeclareMathOperator{\RR}{\mathbf{R}} \DeclareMathOperator{\ZZ}{\mathbf{Z}} \)

Section4.2Chain Complexes

Definition4.2.1Chain complex of a simplicial set
Let \(A \in S(\cA)\) and define the associated chain complex \(CA\) to have \(CA_n = A_n\) with differential \(\rd_n = \sum (-1)^i \dd_i\).
Example4.2.2
\(C_\bullet(X; \ZZ) = C\ZZ\Sing X\).
Remark4.2.3
Kozul complexes and Cech complexes can be seen as coming from semi-simplicial sets, i.e. those without degeneracies.
Definition4.2.4Normalised chain complexes
The normalised chain complex\(NA\) of a simplicial object is \(NA_n = \bigcap_{i=0}^{n-1} \ker(\dd_i)\) with \(\rd_n = (-1)^n \dd_n\).

In fact we have \(NA \simeq CA\). And then we have: