Kerodon

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

Proposition 2.5.8.7. The collection of Alexander-Whitney homomorphisms

\[ \mathrm{AW}: \mathrm{N}_{\ast }(A \otimes B) \rightarrow \mathrm{N}_{\ast }(A) \boxtimes \mathrm{N}_{\ast }(B) \]

determine a colax monoidal structure on the normalized Moore complex functor $\mathrm{N}_{\ast }: \operatorname{ Ab }_{\Delta } \rightarrow \operatorname{Ch}(\operatorname{\mathbf{Z}})$.