[論文レビュー] 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-関手の存在は、すべての本質的な圏論的推論において厳密構造が十分であることを示唆する。
• この論文は、双圏における弱い合成が一貫性を欠かないことを確認しており、すべての形式的合成が同型を介して整合的であることが保証される。