<p>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 <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40062_2025_364_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-categories which are counterparts of duoidal categories in the setting of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40062_2025_364_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-categories. There are three kinds of functors between duoidal <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40062_2025_364_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-categories, which are called bilax, double lax, and double oplax monoidal functors. We make three formulations of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40062_2025_364_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-categories of duoidal <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40062_2025_364_Article_IEq8.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-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 <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40062_2025_364_Article_IEq9.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>-categories.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On duoidal \(\infty \)-categories

  • Takeshi Torii

摘要

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.