Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Corollary 2.5.6.12. The normalized Moore complex functor $\mathrm{N}_{\ast }: \operatorname{ Ab }_{\Delta } \rightarrow \operatorname{Ch}(\operatorname{\mathbf{Z}})$ admits a right adjoint $\mathrm{K}: \operatorname{Ch}(\operatorname{\mathbf{Z}}) \rightarrow \operatorname{ Ab }_{\Delta }$, given on objects by Construction 2.5.6.3.