[論文レビュー] The category of opetopes and the category of opetopic sets

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 17

ひとこと要約

この論文は、オペトープの圏を明示的に構成し、オペトピック・セットの圏がこのオペトープの圏上のプレシェーフの圏と同値であることを証明する。オペトープをラベル付き木として形式化し、合成構造を尊重する面写像を定義することで、著者はオペトピック・セットがプレシェーフ圏として正当化される基礎的同値性を確立し、BaezとDolanの先行研究における欠落を補完する。

ABSTRACT

We give an explicit construction of the category Opetope of opetopes. We prove that the category of opetopic sets is equivalent to the category of presheaves over Opetope.

研究の動機と目的

• BaezとDolanの先行研究において形式的に定義されていなかったオペトープの圏の明示的構成を提供すること。
• オペトピック・セットの圏がオペトープの圏上のプレシェーフの圏と同値であることを確立し、オペトピック・セットのプレシェーフ解釈を正当化すること。
• Hermida, Makkai, Power, Leinsterの結果と整合性を保つために、先行研究に基づく修正理論を用いて、元々のオペトピック・セットの定義における曖昧さを解消すること。
• オペトープとマルチトープの関係を明確にし、各次元においてそれらが同型であることを示すこと。
• プレシェーフ圏のよく理解された枠組みにオペトピック・セットを埋め込むことで、弱いnカテゴリのための圏論的基盤を提供すること。

提案手法

• k-オペトープを特定の合成制約を持つラベル付き木として定義し、Kelly-Mac Lane図式として木を形式化することで、オペトープの圏を構成する。
• 異なる次元のオペトープ間の面写像を定義し、k-オペトープの(k-1)-次元面はその出発と終着であり、合成が発生する際に(k-2)-次元面が同定される。
• Opetopeは、面構造と合成配置を保存する射を持つ、すべてのオペトープの圏における全部分圏として定義される。
• オペトピック・セットは、オペトープの圏の反対圏から集合の圏への関手として定義され、細胞構造は面によって決定され、ラベル付き木によって定義されるフレームを持つ。
• [12]の結果を用いて、オペトピック・セットとプレシェーフの圏の同値性を証明し、プレシェーフ圏へのヤコビの埋め込みが全関手的かつ本質的に全射的であることを示す。
• 証明は、各オペトープαが代表的プレシェーフG(α)を生じることを示し、すべてのプレシェーフがこのような代表的プレシェーフの余極限として現れることを示すことで、同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 オペトピック・セットの基礎として機能するため、オペトープの圏をどのように明示的に構成できるか？
• RQ2 BaezとDolanが示唆はしたが証明しなかったように、オペトピック・セットの圏がオペトープの圏上のプレシェーフの圏と同値であるか？
• RQ3 オペトープとマルチトープの正確な関係は何か？ そして、各次元においてそれらは同型であるか？
• RQ4 本論文で用いられるオペトピック理論の修正は、Hermida, Makkai, Power, Leinsterの研究とどのように関係しているか？
• RQ5 オペトピック・セットの圏は完全にプレシェーフ圏として特徴づけられるか？ そして、これは弱いnカテゴリの理論に何を意味するか？

主な発見

• オペトープの圏は、すべての次元のオペトープを対象とし、合成構造を保存する面写像を射として持つ圏として明示的に構成される。
• オペトピック・セットの圏は、オペトープの圏上のプレシェーフの圏と同値である。これは、弱いnカテゴリの理論における基礎的結果を確立する。
• 各オペトープαは代表的プレシェーフG(α)を生じ、写像α ↦ G(α)はオペトープの圏をオペトピック・セットの圏への全関手的埋め込みを定義する。
• プレシェーフ圏は余完備であり、すべてのオペトピック・セットがこのような代表的プレシェーフの余極限として現れる。ヤコビの埋め込みの本質的全射性が確認される。
• オペトピック・セットの圏は、代表的プレシェーフの全部分圏上のプレシェーフの圏と同値である。これは、オペトピック・セットがプレシェーフ圏をなすことを確認する。
• 同値性により、すべてのオペトピック・セットの準同型は、各形状αの細胞への作用によって決定され、同型は代表的プレシェーフへの作用によって検出可能である。