Corollary 2.3.20. The functor \(\Pi _{\infty }\colon \Top \to \An \) preserves finite products: \[ \Piinfty {X \times Y} \iso \Piinfty {X} \times \Piinfty {Y}. \qednow \]

Generated from the authoritative LaTeX source.