[논문 리뷰] Weak n-categories: comparing opetopic foundations

Eugenia Cheng|ArXiv.org|2003. 04. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 4

한 줄 요약

이 논문은 조악한 대칭 다중범주에서 카르테시안 모나드로의 함자 구축을 통해 Baez-Dolan opetope와 Leinster opetope 사이의 범주적 동치를 확립한다. 이는 대칭 다중범주에서의 슬라이스 구조가 카르테시안 모나드에서의 자유 작용 다중범주 모나드 구조에 대응됨을 보여주며, $k$-opetope와 $k$-multitope의 범주 간 명시적 동형사상이 존재함을 보여주어, opetopic 구조를 통한 약한 $n$-범주 이론의 두 기초적 접근법을 통합한다.

ABSTRACT

We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (E_Q,T_Q) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the `free operad' monad construction on suitable monads. We use this to give an explicit description of the relationship between Baez-Dolan and Leinster opetopes.

연구 동기 및 목표

• Baez와 Dolan이 제안한 약한 $n$-범주의 opetopic 기초와 Leinster의 기초 간의 관계를 명확히 하기 위해.
• 고차원 합성에서 구성 요소 세포의 순서 문제를 해결하기 위해 대칭 다중범주와 $({\rmf E},T)$-다중범주를 비교하기 위해.
• 슬라이스 구조를 유지하는 조악한 대칭 다중범주에서 카르테시안 모나드로의 함자를 구축하여 두 접근법을 연결하기 위해.
• 이 구축을 통해 $k$-opetope와 $k$-multitope의 범주가 동형임을 보여주기 위해.
• 조악한 대칭 다중범주를 사용하여 opetope의 개념을 원래 Baez-Dolan 정의를 초월해 일반화하기 위해.

제안 방법

• 객체의 이산 범주를 갖는 자유 대칭성과 함께, 조악한 대칭 다중범주 범주의 정의를 내린다.
• 각 조악한 대칭 다중범주 $Q$에서, $T_Q$가 레이블된 $Q$-객체의 집합에 작용하는 카르테시안 모나드 $(\rm{f E}_Q, T_Q)$를 구성한다.
• 다중범주에서 카르테시안 모나드로의 함자 $\zeta: \text{TidySymMulticat} \to \text{CartMonad}$를 수립한다.
• 대칭 다중범주에서의 슬라이스 과정이 카르테시안 모나드에서의 자유 작용 다중범주 모나드 구조에 대응됨을 보여준다.
• $k$-중복 슬라이스 과정에 의해 유도되는 사상이 $k$-opetope와 $k$-multitope의 범주 간의 동형사상임을 증명한다.
• 화살표의 동형류에 대한 귀납적 정의와 피복 구조를 사용하여 $C^{(k+1)}$를 대상 집합 $A_2$에 매립함으로써 자연성과 가환 조건을 확보한다.

실험 결과

연구 질문

• RQ1 다른 기초적 구조를 가진 Baez-Dolan과 Leinster의 opetope 구축 간에 범주론적으로 어떤 관계가 있는가?
• RQ2 대칭 다중범주에서의 슬라이스 구조가 카르테시안 모나드에서의 자유 작용 다중범주 모나드와 자연스럽게 관련될 수 있는가?
• RQ3 카르테시안 모나드는 opetopic 합성 모델링에서 어떤 정확한 역할을 하는가? 그리고 대칭 다중범주와 비교해보면 어떠한가?
• RQ4 조약한 대칭 다중범주와 카르테시안 모나드 사이에 반복 슬라이스 구조를 유지하는 함자적 대응이 존재하는가?
• RQ5 조약한 대칭 다중범주를 통한 opetope의 일반화가 원래 Baez-Dolan opetope 정의를 복원하거나 이를 초월하는가?

주요 결과

• 조약한 대칭 다중범주에서 카르테시안 모나드로의 함자 $\zeta$는 슬라이스 구조를 동치까지 유지하며, 대칭 다중범주와 $({\rm\bf E},T)$-다중범주 간의 다리를 놓는다.
• 슬라이스 과정의 $k$-중복 반복에 의해 유도된 사상 덕분에 $k$-opetope와 $k$-multitope의 범주 간에 동형사상이 존재한다.
• $g_{k+1}$를 $\mathbb{C}^{(k)} \times_{S'} A$에서 $\text{elt}\,Q^+ \times_{{\mathcal{F}}S'^{\rm op}} {\mathcal{F}}A^{\rm op}$로의 전사적이고 충실한 함자로 구성함으로써, $C^{(k+1)}$의 $A_2$로의 매립 과정에서 귀납 단계를 보장한다.
• 유도된 사상 $A_1 \to A_2$는 동형사상임을 확인하여, 이 구축이 opetopic 집합의 기초적인 범주론적 구조를 유지함을 입증한다.
• 모나드 op함자의 자연성이 검증되었으며, 집합 범주에서의 사상에 대해 $Q \mapsto (\rm{f E}_Q, T_Q)$의 할당이 호환됨을 보였다.
• 최종 동형사상 $(\rm{f E}_{Q^+}, T_{Q^+}) \cong (\rm{f E}_Q', T_Q')$는 슬라이스 과정 전반에 걸쳐 모나드 구축의 일관성과 타당성을 확인한다.