[論文レビュー] The theory of opetopes via Kelly-Mac Lane graphs

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Advanced Topology and Set Theory参考文献 6被引用数 5

ひとこと要約

本稿は、閉圏における形式的枠組みを用いて幾何的木の代わりに、opetope（opetopic nカテゴリにおける基本的な細胞形状）の新しい代数的構成を提示する。Kelly-Mac Lane図を用いることで、元のmulticategoryに基づく構成と同等であることを示し、許容可能な準同型と合成則に基づく圏的枠組みを通じて等価性を確立する。

ABSTRACT

This paper follows from two earlier works. In the first we gave an explicit construction of opetopes, the underlying cell shapes in the theory of opetopic n-categories; at the heart of this construction is the use of certain trees. In the second we gave a description of trees using Kelly-Mac Lane graphs. In the present paper we apply the latter to the former, to give a construction of opetopes using Kelly-Mac Lane graphs.

研究の動機と目的

• 幾何的木に基づくアプローチに代わって、代数的かつ圏論的性質を用いてopetopeを特徴づけること。
• 木とKelly-Mac Lane図の対応関係をラベル付き構造へと拡張し、opetopeの合成の形式的記述を可能にすること。
• この新たな構成が、対称multicategoryを用いて定義された先行研究におけるopetopeと同一のものとなることを確立すること。
• 閉圏と許容可能な準同型の言語を用いて、opetopeの圏の新しい形式的記述の基盤を築くこと。

提案手法

• 閉圏におけるラベル付き形状と準同型を一般化し、ラベルを圏Cの対象とする。
• ラベル付き形状間の準同型としてラベル付き図を定義し、ねじれ和における変動性に従って方向を決定することで、木の合成と整合性を保証する。
• 「許容可能」となるラベル付き図の概念を導入し、先行研究で確立された対応関係を通じて、ラベル付き木と正確に一致させること。
• 「階段（ladder）」構成を用いて、2つの条件を満たす準同型を同定する：木の正しい形状、およびスライスmulticategory構造による合成性。
• 各段階が(k−1)-opetopeの合成を通じてk-opetopeに対応するように、閉圏における合成可能な準同型の列としてopetopeの構成を形式化する。
• 低次元における面写像と関係を定義し、既知のopetopic構造と整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 opetopeは、幾何的木の代わりにKelly-Mac Lane図を用いて代数的に構成可能か？
• RQ2 許容可能な準同型を用いて、閉圏の枠組み内でラベル付き木をどのように形式化できるか？
• RQ3 Kelly-Mac Lane図によるopetopeの構成は、元のmulticategoryに基づく定義と同一のopetopeを生成するか？
• RQ4 この新しい形式的枠組みによって定義されたopetopeの圏の圏的構造は何か？
• RQ5 opetopeにおける面写像と合成関係は、ラベル付き図と準同型の言語にどのように翻訳されるか？

主な発見

• 本稿は、ラベル付きKelly-Mac Lane図を用いて、木の幾何的直感を圏的構造に置き換えた、opetopeの明確な代数的特徴づけを確立する。
• 閉圏と許容可能な準同型を用いた構成が、元のmulticategoryに基づく定義と同一のopetopeを生成することを証明する。これは[4]で形式化されたものである。
• 主な結果は補題2.7であり、1つの対象と1つの準同型を持つ対称multicategory Qに対して、すべてのk ≥ 0についてk番目のopetopeがo(Q^{k+})に同型であることを示している。
• opetopeの面写像は、圏AOpesにおける準同型の合成に対応し、関係は基礎となる図の「同伴（mates）」によって生成される。
• この枠組みにより、opetopeの圏の体系的記述が可能となり、低次元における面写像と合成の具体例が明示的に導出された。
• この構成はk-opetopeへと一般化可能であり、k-opetopeの0次元セルの面写像は、その構成要素である(k−1)-opetopeの面写像の合成である。