<p>We prove an unstraightening result for lax transformations between functors from an arbitrary <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1084_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((\infty ,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>∞</mi> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-category to that of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1084_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((\infty ,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>∞</mi> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-categories. We apply this to characterize adjoints in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1084_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((\infty ,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>∞</mi> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-categories of functors and (op)lax transformations, and to prove a mate correspondence between lax transformations that are componentwise right adjoints and oplax transformations that are componentwise left adjoints, for such transformations among functors between arbitrary <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1084_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((\infty ,2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>∞</mi> <mo>,</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-categories.</p>

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

Straightening for lax transformations and adjunctions of \((\infty ,2)\)-categories

  • Fernando Abellán,
  • Andrea Gagna,
  • Rune Haugseng

摘要

We prove an unstraightening result for lax transformations between functors from an arbitrary \((\infty ,2)\) ( , 2 ) -category to that of \((\infty ,2)\) ( , 2 ) -categories. We apply this to characterize adjoints in \((\infty ,2)\) ( , 2 ) -categories of functors and (op)lax transformations, and to prove a mate correspondence between lax transformations that are componentwise right adjoints and oplax transformations that are componentwise left adjoints, for such transformations among functors between arbitrary \((\infty ,2)\) ( , 2 ) -categories.