[论文解读] The monoidal structure of strictification

Nick Gurski|arXiv (Cornell University)|Jan 25, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 4

一句话总结

本文证明了从双范畴到2-范畴的严格化函子是对称单子的，通过证明其保持Gray张量积至同构，从而解决了高阶范畴论中的一个基础性问题。关键贡献在于证明比较映射 stX × stY → st(X × Y) 是对称单子结构的一部分，纠正了文献中关于其为 lax 单子结构的早期错误。

ABSTRACT

We study the monoidal structure of the standard strictification functor $ extrm{st}:\mathbf{Bicat} ightarrow \mathbf{2Cat}$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the 2-category whose objects are 2-categories.

研究动机与目标

• 解决文献中声称严格化函子为 lax 单子结构的不一致问题，该说法错误的原因在于结构映射的非自然性。
• 建立严格化函子 st: Bicat → 2Cat 为对称单子函子，使用Gray张量积作为单子结构。
• 为严格化提供更正且一致的单子结构，这对三范畴中的高维同构定理至关重要。
• 通过可逆变换与同构性同构，证明比较映射 stX × stY → st(X × Y) 是对称单子结构的一部分。
• 支持在立方三范畴中使用严格化进行Yoneda型嵌入，从而实现与Gray-范畴的三等价。

提出的方法

• 将比较映射 stX × stY → st(X × Y) 构造为2-函子，证明其在可逆图标的意义下自然，而非严格自然。
• 使用通用立方函子 c_{AB} 作为 st 上 Cat-对上态单子结构的结构映射。
• 通过双范畴 X × Y 中的唯一同构性同构，定义实现辫子结构的可逆变换 U。
• 通过证明2-胞态的粘贴图在应用余单位 e 后变得相等，验证辫子单子函子公理，这是由于双范畴中的同构性。
• 通过检查对称公理，确认对称单子结构，依赖于在 e 下同构性的唯一性。
• 通过在伪自然变换与同构细胞的背景下解释结构，将结果推广至单子三范畴。

实验结果

研究问题

• RQ1 严格化函子 st: Bicat → 2Cat 是否如文献中所声称的那样是 lax 单子的？
• RQ2 考虑到其结构映射并非严格自然，严格化函子实际具有何种单子结构？
• RQ3 比较映射 stX × stY → st(X × Y) 是否能通过可逆变换配备对称单子结构？
• RQ4 在三范畴同构的背景下，严格化函子如何与Gray张量积相互作用？
• RQ5 对称单子结构在 st 上是否可扩展至三范畴层次，特别是在立方三范畴的构建中？

主要发现

• 严格化函子 st: Bicat → 2Cat 并非通常意义上的 lax 单子函子，因为其结构映射仅在可逆图标的意义下自然。
• 正确的结构是作为对称单子函子，其中比较映射 stX × stY → st(X × Y) 构成该结构的一部分。
• 辫子变换 U 通过双范畴 X × Y 中的唯一同构性同构定义，确保其可逆性与同构性。
• 辫子单子公理的粘贴图在应用余单位 e 后变得相等，这是由于双范畴的同构性定理。
• 通过对所有相关粘贴图的交换性进行验证，确认了 st 上的对称单子结构，其依赖于同构性同构的唯一性。
• 该结果可推广至单子三范畴，其结构与伪自然变换及同构细胞兼容。