enrichment 高阶范畴之积的松弛幺半群性

我们证明，从$\mathcal V$到$\mathcal W$的松弛$\mathbb{E}_{n+1}$-幺半群函子诱导出从$\mathcal V$-enriched $\infty$-范畴到$\mathcal W$-enriched $\infty$-范畴的松弛$\mathbb{E}_n$-幺半群函子，此意义下为Gepner--Haugseng所定义。我们将此作为与Boardman--Vogt张量积$\otimes$通用交互的一部分来证明：给定一个将$\mathcal E$-幺半群$\infty$-范畴取为可用图表项表达的范畴的构造，我们给出其使用“逐点”幺半群结构将$(\mathcal{O} \otimes \mathcal{E})$-幺半群$\infty$-范畴取为$\mathcal{O}$-幺半群$\infty$-范畴的判据。