Corollary 16.2.12. Let \(C\) be a small symmetric monoidal \(\infty \)-category. Then the functor category \(\Fun (C,\An )\) admits a symmetric monoidal structure via Day convolution.
Proof. The cited corollary applies since \(\An \) admits small colimits and the functor \(- \times -\colon \An \times \An \to \An \) preserves colimits in both variables. □
Generated from the authoritative LaTeX source.