Lax monoidality for products of enriched higher categories

Abstract

We prove that a lax ${\mathbb{E}}_{n+1}$-monoidal functor from $\mathcal{V}$ to $\mathcal{W}$ induces a lax ${\mathbb{E}}_n$-monoidal functor from $\mathcal{V}$-enriched $\infty$-categories to $\mathcal{W}$-enriched $\infty$-categories in the sense of Gepner--Haugseng. We prove this as part of a general-purpose interaction with the Boardman--Vogt tensor product $\otimes$: given a construction that takes an $\mathcal{E}$-monoidal $\infty$-category to a category expressible in diagrammatic terms, we give a criterion for it to take $(\mathcal{O}\otimes \mathcal{E})$-monoidal $\infty$-categories to $\mathcal{O}$-monoidal $\infty$-categories using a "pointwise" monoidal structure.

22 pages. Comments welcome