[论文解读] Basic Bicategories

Tom Leinster|arXiv (Cornell University)|Oct 4, 1998

Geological Modeling and Analysis参考文献 3被引用 121

一句话总结

本文提供了一篇简洁而基础的双范畴理论导论，定义了双范畴、态射、2-态射以及带有相干同构的复合法则。它建立了相干性定理，证明了每个双范畴都与一个严格2-范畴等价，从而解释了尽管复合是弱的，实践中仍可使用严格结构的原因。

ABSTRACT

A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.

研究动机与目标

• 为刚接触高阶范畴论的研究人员提供双范畴理论基础概念的清晰、易懂的导论。
• 形式化双范畴的结构，包括对象、态射、2-态射及其弱复合法则。
• 证明相干性定理，表明所有由相干同构构成的图都可交换，从而为实践中使用严格结构提供依据。

提出的方法

• 将双范畴定义为一种类范畴的结构，包含对象、对象之间的态射，以及态射之间的2-态射，并配备复合函子。
• 引入复合的相干同构：结合子和单位子，它们满足五边形恒等式和三角形恒等式。
• 将严格2-范畴的形式化为一种特殊情况，其中相干同构为恒等映射。
• 利用相干性定理证明，通过一个全忠实且本质满射的2-函子，任一二范畴都与一个严格2-范畴等价。
• 证明相干同构足以确保所有形式图都可交换，从而在高阶范畴论中降低复杂性。

实验结果

研究问题

• RQ1 如何形式化地定义双范畴，使其既能捕捉弱复合，又保持计算上的可处理性？
• RQ2 何种条件可确保双范畴中由相干同构构成的所有图都可交换？
• RQ3 是否每个双范畴都可被替换为一个严格2-范畴而不损失本质范畴结构？
• RQ4 相干同构在确保高维范畴论中的一致性方面起什么作用？
• RQ5 相干性定理如何为在初始要求弱复合的语境中使用严格结构提供依据？

主要发现

• 相干性定理确立了每个双范畴都与一个严格2-范畴等价，这意味着所有相干同构都可通过适当的2-函子变为恒等映射。
• 所有由结合子和单位子同构构成的图都可交换，这由五边形恒等式和三角形恒等式保证。
• 双范畴的结构完全由其对象、态射、2-态射以及满足相干条件的相干同构决定。
• 从任一二范畴到严格2-范畴存在一个全忠实且本质满射的2-函子，意味着严格结构足以满足所有本质范畴推理。
• 本文确认，双范畴中的弱复合不会导致不一致，因为所有形式复合都至多同构地保持相干性。