Map monoidales and duoidal $\infty$-categories

Abstract

In this paper we give an example of duoidal $\infty$-categories. We introduce map $\mathcal{O}$-monoidales in an $\mathcal{O}$-monoidal $(\infty ,2)$-category for an $\infty$-operad ${\mathcal{O}}^{\otimes }$. We show that the endomorphism mapping $\infty$-category of a map $\mathcal{O}$-monoidale is a coCartesian $(\hat{I}{”}^{\mathrm{op}},\mathcal{O})$-duoidal $\infty$-category. After that, we introduce a convolution product on the mapping $\infty$-category from an $\mathcal{O}$-comonoidale to an $\mathcal{O}$-monoidale. We show that the $\mathcal{O}$-monoidal structure on the duoidal endomorphism mapping $\infty$-category of a map $\mathcal{O}$-monoidale is equivalent to the convolution product on the mapping $\infty$-category from the dual $\mathcal{O}$-comonoidale to the map $\mathcal{O}$-monoidale.

35 pages