[论文解读] Hopf monoidal comonads

Dimitri Chikhladze, Stephen Lack+1 more|arXiv (Cornell University)|Feb 5, 2010

Advanced Topics in Algebra被引用 11

一句话总结

本文通过在自治张量2-范畴的背景下引入霍普夫张量余单子，将布鲁伊耶斯关于将闭结构上移至张量余单子的埃伦伯格-莫尔代数的工作进行推广。核心贡献是一个范畴框架，使得闭结构能够被上移到余模范畴，其应用涵盖量子范畴和双代数胚。

ABSTRACT

Alain Bruguieres, in his talk [1], announced his work [2] with Alexis Virelizier and the second author which dealt with lifting closed structure on a monoidal category to the category of Eilenberg-Moore algebras for an opmonoidal monad. Our purpose here is to generalize that work to the context internal to an autonomous monoidal bicategory. The result then applies to quantum categories and bialgebroids.

研究动机与目标

• 将布鲁伊耶斯关于张量余单子的闭结构上移结果推广至更广泛的范畴设定。
• 将理论推广至自治张量2-范畴内的内部结构，以增强其在量子代数对象中的适用性。
• 为霍普夫张量余单子上的余模范畴的闭结构上移提供一个框架。
• 建立霍普夫张量余单子与量子范畴以及双代数胚之间的联系。
• 在2-范畴语境中形式化单子与余单子结构之间的相互作用，从而在张量范畴中实现新构造。

提出的方法

• 在自治张量2-范畴中引入内部霍普夫张量余单子的概念。
• 定义使余单子以兼容方式同时具备单子与余单子结构的必要协调条件。
• 利用2-范畴的自治性对结构进行对偶化，以确保单子与余单子运算之间的兼容性。
• 构造此类余单子的埃伦伯格-莫尔余模范畴，并验证其继承了闭结构。
• 利用2-范畴框架，将严格张量范畴中的结果推广至更具灵活性的高阶范畴设定。
• 通过将它们解释为适当2-范畴中的内部范畴，将通用框架应用于量子范畴和双代数胚。

实验结果

研究问题

• RQ1 如何将闭结构从张量范畴上移到其余模的埃伦伯格-莫尔范畴，推广至超越张量余单子的范围？
• RQ2 在2-范畴设定中，余单子必须满足何种条件，才能保持并上移闭结构？
• RQ3 在自治张量2-范畴中，霍普夫张量余单子如何实现余模范畴上闭结构的构造？
• RQ4 这些构造与量子代数中的已知结构（如双代数胚和量子范畴）有何关联？
• RQ5 自治性在2-范畴中起到何种作用，以确保对偶性及单子与余单子结构之间的兼容性？

主要发现

• 本文确立了在自治张量2-范畴上，霍普夫张量余单子可在其余模范畴上诱导出闭结构。
• 该构造将布鲁伊耶斯关于张量余单子的结果推广至2-范畴及内部设定。
• 该框架适用于量子范畴和双代数胚，表明其余模范畴继承了闭结构。
• 余单子中单子与余单子结构之间的兼容性通过2-范畴中的协调条件得以形式化。
• 环境2-范畴的自治性确保了对偶的存在性，并与单子结构兼容，从而实现了闭结构的上移。
• 该结果以与高阶范畴及量子代数构造兼容的方式呈现，提供了一个统一的框架。