[論文レビュー] Opetopic bicategories: comparison with the classical theory

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 6

ひとこと要約

この論文は、Baez-Dolanのオペトピック枠組みにおける普遍性条件の変更を用いて定義されるオペトピック2-圏と、ラックス関手を伴う古典的2-圏の間の同値性を確立する。著者らは、オペトピック2-圏における0-アリティおよび2-アリティの普遍2-セルに選択を導入することで、2-圏構造を構成し、その結果得られるバイアス付きオペトピック2-圏の圏が、古典的2-圈权の圏と同値であることを証明する。

ABSTRACT

We continue our previous modifications of the Baez-Dolan theory of opetopes to modify the Baez-Dolan definition of universality, and thereby the category of opetopic n-categories and lax functors. For the case n=2 we exhibit an equivalence between this category and the category of bicategories and lax functors. We examine notions of strictness in the opetopic theory.

研究の動機と目的

• 弱い2-圏のオペトピック定義と古典的2-圈权理論の間の厳密な比較を確立すること。
• オペトピック理論における合成の非一意性と、古典理論における合成の一意的定義との間の不一致を解消すること。
• 適切な普遍セルの選択を伴う修正によって、オペトピック2-圈权の圏が古典的2-圈权の圏と同値であることを示すこと。
• 特に2-関手と整合性の文脈において、厳密性とラックス性の役割を明確にすること。

提案手法

• Baez-Dolanの普遍性の定義を、集合ではなく対象の圏を持つ対称マルチ圏を用いて修正する。
• オペトピックn-圈权を、すべてのニッチに普遍的占拠が存在し、普遍的占拠の合成が再び普遍的であるようなI-オペトピック集合として定義する。
• オペトピック2-圈权に0-アリティおよび2-アリティの普遍2-セルの選択を追加することで「バイアス付きオペトピック2-圈权」を定義する。
• 0-セルと1-セルをそのまま採用し、2-セルを1-アリティ2-セルとして定義することで、オペトピック2-圈权から2-圈权を構成する。合成と単位は、選択された普遍2-セルから誘導される。
• 4-セルの普遍性と合成の整合性を用いて、結果として得られる構造が2-圈权公理を満たすことを証明する。
• 自然性と整合性の証明を用いて、バイアス付きオペトピック2-圈权の圏とラックス関手を伴う2-圈权の圏との間で関手的同値を確立する。

実験結果

リサーチクエスチョン

• RQ1 弱い2-圏のオペトピック定義を、古典的2-圈权の定義と同値にできるか？
• RQ2 オペトピック2-圈权における合成の非一意性は、古典的2-圈权における合成の一意性とどのように調和できるか？
• RQ3 （恒等と二項合成を含む）普遍2-セルの選択が、オペトピック2-圈权から古典的2-圈权を構成する際に果たす役割は何か？
• RQ4 結果として得られる2-圈权における構造的同型（例えば結合子と単位子）は、オペトピック枠組み下で整合的か？
• RQ5 オペトピック2-圈权間のラックス関手は、古典的2-圈权間のラックス関手とどのように関係するか？

主な発見

• 0-アリティおよび2-アリティの普遍2-セルの選択を導入する構成を通じて、オペトピック2-圈权の圏とラックス関手を伴う2-圈权の圏が同値である。
• 恒等と二項合成のための選択された普遍2-セルを用いて、オペトピック2-圈权の基本的データに2-圈权構造を定義することで、同値性が確立される。
• 結果として得られる2-圈权の結合則と単位則は、オペトピック枠組みにおける4-セルの普遍性を用いて検証される。
• 2-圈权における構造的同型（a, l, r）が、オペトピック設定における普遍的唯一性によって自然であり、五角形と三角形の恒等式を満たすことが示される。
• オペトピック2-圈权間のラックス関手は、対応する2-圈权間のラックス関手を誘導し、整合性データを同型を介して保存する。
• 証明は、非一意的合成を許容するにもかかわらず、適切な選択と普遍的構成により、オペトピック枠組みが古典的2-圈权構造を回復できることを示している。