Kerodon

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

Remark 2.5.6.4. Let $M_{\ast }$ be a chain complex. We will generally not distinguish in notation between the simplicial abelian group $\mathrm{K}( M_{\ast } )$ and its underlying simplicial set. Note that $\mathrm{K}( M_{\ast } )$ is automatically a Kan complex (Proposition 1.2.5.9), which motivates our usage of the term “space”.