[论文解读] Bicat is not triequivalent to Gray

Stephen Lack|arXiv (Cornell University)|Dec 12, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 10

一句话总结

本文证明了双范畴范畴 Bicat（双范畴、2-函子、伪自然变换与修正）与 2-范畴范畴 Gray（2-范畴、2-函子、伪自然变换与修正）的三范畴并非三等价。关键结果表明，尽管每个双范畴都与一个 2-范畴双等价，但包含关系 Gray → Bicat 并非局部双等价，因为某些伪函子无法与 2-函子伪自然等价，这与早期文献中的一个断言相矛盾。

ABSTRACT

Bicat is the tricategory of bicategories, homomorphisms, pseudonatural transformations, and modifications. Gray is the subtricategory of 2-categories, 2-functors, pseudonatural transformations, and modifications. We show that these two tricategories are not triequivalent.

研究动机与目标

• 解决高阶范畴论中的一个基础性问题：三范畴 Bicat 是否与三范畴 Gray 三等价。
• 纠正文献中（[2] 的第 5.6 节）关于 Bicat 与 Gray 三等价的错误断言。
• 澄清在三范畴等价的语境下，双范畴与 2-范畴之间的关系。
• 证明尽管在对象上是三本质满射，包含关系 Gray → Bicat 并非三等价，因为其局部不满足双等价性。
• 证明 Bicat 虽然与某个 Gray-范畴三等价，但其本身并不与 Gray 三等价。

提出的方法

• 通过构造两个 2-范畴 A（二阶群）与 B（ℤ 关于 2ℤ 的伪商）的反例，证明从 A 到 B 的一个同态无法与任何 2-函子伪自然等价。
• 利用 A 中非恒等态射 f 满足 f² = 1，而该同态在 B 中的像为 1，但唯一可能的 2-函子将 f 映为 0 的事实。
• 通过证明包含关系 Gray → Bicat 不满足三等价所要求的局部双等价性，从而证明其并非三等价。
• 假设存在一个三等价 Φ: Gray → Bicat，并证明其必须与包含关系双等价，从而导致矛盾。
• 利用终 2-范畴 1 的普遍性质，证明 Φ 必须保持双等价 Bicat(1, B) ≃ B 对任意双范畴 B 成立。
• 利用 [2] 中的相干性结果：每个三范畴都与一个 Gray-范畴三等价，且标准构造 st: Bicat → Gray 是局部双等价，但并非三等价。

实验结果

研究问题

• RQ1 鉴于 Bicat 与 Gray 都是具有相似结构的弱 3-范畴，Bicat 三范畴是否与 Gray 三范畴三等价？
• RQ2 在三等价的局部双等价要求下，任意 2-范畴之间的伪函子是否都能作为从 2-函子出发的伪自然变换出现？
• RQ3 尽管每个双范畴都与一个 2-范畴双等价，包含关系 Gray → Bicat 是否仍可能为三等价？
• RQ4 文献 [2] 第 5.6 节中关于 Bicat 与 Gray 三等价的断言是否正确，还是基于对相干性结果的误解？
• RQ5 若标准函子 st: Bicat → Gray 是局部双等价，为何它并非三等价？

主要发现

• 包含函子 Gray → Bicat 并非三等价，因为其不满足局部双等价性，该结论由涉及 2-范畴 A 与 B 的反例所证实。
• 存在一个从 A 到 B 的同态，其无法与任何 2-函子伪自然等价，这表明并非所有伪函子在所需意义上都与 2-函子等价。
• 尽管每个双范畴都与一个 2-范畴双等价，且 Bicat 与某个 Gray-范畴三等价，但 Bicat 本身与 Gray 并非三等价。
• 文献 [2] 中构造的标准三同态 st: Bicat → Gray 是局部双等价，但并非三等价，这与该文献第 5.6 节中的断言相矛盾。
• 任何假设存在的三等价 Φ: Gray → Bicat 必须与包含函子双等价，但这是不可能的，因此不存在这样的三等价。
• 任何三等价都将终 2-范畴 1 映为 Bicat 中的三终对象，这迫使 Φ 的结构等价于包含函子，从而导致矛盾。