ScalingStacks

Corollary 3.5.10.

Let \(J\in \mathrm{CAlg}(\mathrm{Cat}_{\infty})\) and \(\mathcal C\in \mathrm{CAlg}(\mathrm{Pr}^\mathrm{L})\). Then \(\mathrm{Fun}(J^{\mathrm{op}}, \mathcal C)\) inherits a presentably symmetric monoidal structure from the tensor product \(\mathcal C\otimes \mathcal P(J)\) of commutative algebras in \(\mathrm{Pr}^\mathrm{L}\).