On duoidal $\infty$-categories

TL;DR

This paper introduces duoidal $ $-categories, extending the concept of duoidal categories into the $ $-categorical setting, and defines related functors and algebraic structures.

Contribution

It develops the theory of duoidal $ $-categories, including three types of functors and associated algebraic structures, advancing the understanding of complex monoidal interactions in higher categories.

Findings

Defined three types of functors between duoidal $ $-categories

Formulated $ $-categories of duoidal $ $-categories based on functor types

Introduced bimonoids, double monoids, and double comonoids in this setting

Abstract

A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the setting of $\infty$-categories. There are three kinds of functors between duoidal $\infty$-categories, which are called bilax, double lax, and double oplax monoidal functors. We make three formulations of $\infty$-categories of duoidal $\infty$-categories according to which functors we take. Furthermore, corresponding to the three kinds of functors, we define bimonoids, double monoids, and double comonoids in duoidal $\infty$-categories.