[論文レビュー] Weak n-categories: opetopic and multitopic foundations

Eugenia Cheng|ArXiv.org|Apr 21, 2003

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

ひとこと要約

この論文は、弱い $n$-圏を定義するための基礎的形状であるオペトープとマルチトープの間で、対象の集合ではなく対象の圏を含むように対称マルチケガネを一般化することにより、厳密な圏的同値性を確立する。オペトープ（Baez-Dolanのオペトピックセットから）とマルチトープ（Hermida-Makkai-Powerのマルチトピックセットから）は、対称性と合成性を保つ構成によって同型であることが示され、高次圏理論の基礎における長年の曖昧さが解消される。

ABSTRACT

We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of objects. As an analogy to the Baez-Dolan slice construction, we exhibit a certain multicategory of function replacement as a slice construction in the multitopic setting, and use it to construct multitopes. We give an explicit description of the relationship between opetopes and multitopes.

研究の動機と目的

• 弱い $n$-圏を定義するためのオペトピックアプローチとマルチトピックアプローチの関係を明確化すること。
• 対象を集合として扱ったBaez-Dolanの元々のオペトープ構成において、同型が失われる基礎的曖昧さを解消すること。
• 対象に圏的構造を含めるように対称マルチケガネを一般化することにより、オペトープとマルチトープの正式な同値性を確立すること。
• 両フレームワークにおけるスライシング構成が、各次元で同型な形状をもたらすことを示すこと。
• $k$-オペトープの圏が、圏の同値性を除いて $k$-マルチトープの集合と同型であることを示すこと。

提案手法

• 対象の集合ではなく対象の圏を含むように対称マルチケガネを一般化し、対象間の同型を適切に追跡可能にする。
• 一般化されたマルチケガネの射に自由に対称作用を追加する関手 $\xi: \text{GenMulticat} \to \text{SymMulticat}$ を定義する。
• $\xi$ が全射かつ忠実であり、その像が対象が離散的で自由に対称的な対称マルチケガネであることを証明する。
• 対称マルチケガネにおけるスライシング構成を導入する：$Q^{+}$ は $\xi(M)$ への射の圏として定義され、構造を保存する。
• オペトープを、終対称マルチケガネ $I$ の繰り返しスライシング $I^{k+}$ として定義し、マルチトープを、終一般化マルチケガネ $J$ の繰り返しスライシング $J_{k+}$ として定義する。
• 帰納法を用いて $\xi(J_{k+}) \simeq I^{k+}$ の同値性を確立し、両構成が $k$-セルの同型圏をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 弱い $n$-圏を定義するためのオペトピックアプローチとマルチトピックアプローチは、圏論的に同値であるか？
• RQ2 対称性と同型データを適切に保持した場合、オペトープとマルチトープの間の明確な関係は何か？
• RQ3 Baez-Dolanのスライシング構成を、対象に圏的構造を含めるように一般化できるか？そして、これにより意図された同型構造が回復されるか？
• RQ4 マルチトピック設定における関数置換のマルチケガネは、オペトピック設定におけるスライシング構成と同値であるか？
• RQ5 両フレームワークにおける繰り返しスライシングプロセスは、各次元 $k$ で同型な形状をもたらすか？

主な発見

• $k$-オペトープの圏 $\mathbb{C}_k$ は、同値性を除いて $k$-マルチトープの集合 $P_k$ と同型であり、$\xi(J_{k+}) \simeq I^{k+}$ によって示される。
• 関手 $\xi: \text{GenMulticat} \to \text{SymMulticat}$ は全射かつ忠実であり、その像は正確に対象が離散的で自由に対称的な対称マルチケガネからなる。
• 対称マルチケガネにおけるスライシング構成 $Q^{+}$ は、オペトープを回復するのに必要な構造を保存しており、$M_{k+}$ を介してマルチトピック構成と整合性を持つ。
• 両フレームワークにおける繰り返しスライシングプロセスは同型な形状をもたらす：$I^{k+}$ と $J_{k+}$ は $\xi(J_{k+}) \simeq I^{k+}$ によって関連づけられ、核心的な同値性が証明される。
• 元々のBaez-Dolan構成では、対象を集合として扱ったため同型データが失われていたが、本論文では対象の圏を用いることでこれを回復し、2つのアプローチを同値にする。
• オペトピック構成に使われるすべての対称マルチケガネは、$\xi$ の像内のものと同値であるため、構成が適切に動作し、同型を正しく保つことが保証される。