[论文解读] 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

一句话总结

本文明确定義了opetope的範疇，並證明opetopic sets的範疇與該opetope範疇上的預層範疇等價。透過將opetope形式化為標記樹並定義尊重組合結構的面映射，作者建立了一個基礎等價關係，從而驗證opetopic sets作為預層範疇的合理性，解決了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.

研究动机与目标

• 提供opetope範疇的明確建構，此範疇在Baez與Dolan的先前工作中未被正式定義。
• 建立opetopic sets範疇與opetope範疇上預層範疇的等價關係，從而驗證opetopic sets的預層解釋。
• 透過基於早期工作的修正理論，消除opetopic sets原始定義中的模糊性，確保與Hermida、Makkai、Power與Leinster研究成果的相容性。
• 釐清opetope與multitope之間的關係，顯示它們在每個維度上皆同構。
• 透過將opetopic sets嵌入預層範疇的成熟框架中，為弱n-範疇提供一個範疇論基礎。

提出的方法

• 透過定義k-opetope為具備特定組合約束的標記樹，並使用Kelly-Mac Lane圖的形式化樹結構，建構opetope的範疇。
• 定義不同維度opetope之間的面映射，其中k-opetope的(k-1)-面為其來源與目標，而(k-2)-面則在組合發生時被識別。
• 定義Opetope為所有opetope範疇的全子範疇，其態射保持面結構與組合配置。
• opetopic sets定義為從opetope範疇的對偶到集合範疇的函子，其細胞結構由面決定，且透過標記樹定義框架。
• 利用[12]中的結果，證明opetopic sets與預層之間的等價關係，顯示Yoneda嵌入至預層範疇是滿的且全純。
• 證明依賴於顯示每個opetope α皆產生一個可表示的預層G(α)，且每個預層皆可表示為此類可表示預層的合併，從而建立等價關係。

实验结果

研究问题

• RQ1 如何明確建構opetope範疇，使其能作為opetopic sets的基礎？
• RQ2 opetopic sets範疇是否與opetope範疇上的預層範疇等價？此問題雖由Baez與Dolan提出但未被證明。
• RQ3 opetope與multitope之間的精確關係為何？它們在每個維度上是否同構？
• RQ4 本文所採用的opetopic理論修改與Hermida、Makkai、Power與Leinster的工作有何關聯？
• RQ5 opetopic sets範疇能否被完全特徵化為預層範疇？這對弱n-範疇理論有何含義？

主要发现

• opetope範疇被明確建構為一個物件為所有維度opetope、態射為保持組合結構之面映射的範疇。
• opetopic sets範疇與opetope範疇上預層範疇等價，確立了弱n-範疇理論的基礎性結果。
• 每個opetope α皆產生一個可表示的預層G(α)，且映射α ↦ G(α)定義了opetope範疇到opetopic sets範疇的全純嵌入。
• 預層範疇是共完全的，且每個opetopic set皆可表示為可表示預層的合併，確認Yoneda嵌入的本質上滿性。
• opetopic sets範疇與代表預層全子範疇上的預層範疇等價，確認opetopic sets確實構成一個預層範疇。
• 等價關係表示，每個opetopic sets的態射皆由其在每種形狀α的細胞上的作用所決定，且同構關係可透過其在代表預層上的作用來檢測。