# Kerodon

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

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}})$.