[论文解读] Braided skew monoidal categories

John Bourke, Stephen Lack|arXiv (Cornell University)|Dec 22, 2017

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本文引入了斜张量范畴中一种新颖的辫子概念，通过一个满足相干公理的可逆自然变换 (AB)C → (AC)B 定义。研究证明，由双代数 B 导出的斜张量范畴 Vect[B] 上的辫子与 B 上的余辫子结构（共拟三角结构）之间存在一一对应关系，从而在 2-范畴理论与双代数理论的示例之间建立统一框架。

ABSTRACT

We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known as coquasitriangular structures) on bialgebras. Using a multicategorical approach we also describe examples of braidings on skew monoidal categories arising from 2-category theory.

研究动机与目标

• 将经典张量范畴中的辫子概念推广至斜张量范畴，其中结合律与单位元约束未必可逆。
• 通过重新定义辫子为涉及三个对象的变换 (AB)C → (AC)B，解决斜张量范畴中 AB 与 BA 不同构的问题。
• 统一两类主要示例：2-范畴结构（如 FProd_s）与双代数，通过共同的辫子框架实现统一。
• 建立从双代数导出的斜张量范畴上的辫子与双代数自身上共拟三角（余辫子）结构之间的精确对应关系。

提出的方法

• 将斜张量范畴上的辫子定义为一个可逆自然变换 s: (AB)C → (AC)B，并满足五个相干公理。
• 采用多范畴方法建模 2-范畴示例，特别是 FProd_s 上的斜张量结构（即具有严格有限积的范畴的 2-范畴）。
• 引入辫子斜闭范畴的概念，其中辫子通过同构 [A,[B,C]] → [B,[A,C]] 表达，推广经典对称闭范畴的情形。
• 建立在单子范畴 C^G 上的辫子与由单子范畴 C 上的张量余单子 G 导出的斜张量范畴 C[G] 上的辫子之间的对应关系。
• 证明：对于双代数 B，斜张量范畴 Vect[B]（其中 X⋆Y = X⊗B⊗Y）上的辫子与 B 上的共拟三角（余辫子）结构之间存在一一对应。
• 利用辫子斜多范畴中的表示性条件，将结构上移到辫子斜张量范畴，从而在 2-范畴设定中实现辫子的构造。

实验结果

研究问题

• RQ1 在结构映射不可逆的斜张量范畴中，标准的两对象辫子 AB → BA 失效，如何将辫子概念推广至此类范畴？
• RQ2 何种三元一般化能准确捕捉 2-范畴示例 FProd_s 的结构？在该示例中，(AB)C 与 (AC)B 同构，但 AB 与 BA 不同构。
• RQ3 从双代数导出的斜张量范畴上的辫子与双代数自身代数结构之间是否存在结构性对应？
• RQ4 多范畴框架能否系统地从 2-范畴构造推导出辫子斜张量结构？
• RQ5 在单子范畴上的余代数范畴上的辫子与由单子范畴诱导的斜张量范畴上的辫子之间，其精确关系为何？

主要发现

• 本文建立了由双代数 B 构造的斜张量范畴 Vect[B] 上的辫子与 B 上的共拟三角（余辫子）结构之间的一一对应，提供了结构性分类。
• 对于单子范畴 C 上的张量余单子 G，范畴 C^G 上的辫子与由 G 诱导的斜张量范畴 C[G] 上的辫子之间存在一一对应。
• 2-范畴示例 FProd_s 具有辫子斜张量结构，该结构源于辫子斜多范畴中的表示性条件，展示了多范畴方法的实用性。
• 所提出的斜张量范畴上的辫子概念推广了经典定义：当底层斜张量结构本身为张量范畴（即所有结构映射可逆）时，新定义退化为标准辫子。
• 在 2-范畴设定中构造辫子的过程与 FProd 上的张量 2-范畴结构相容，表明 FProd_s 上的斜张量结构编码了完整的张量 2-范畴结构。
• 本文证明了辫子的公理由多范畴框架中的给定复合规则保持一致且封闭，确保了内部相干性。