[논문 리뷰] The category of opetopes and the category of opetopic sets

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 17

한 줄 요약

이 논문은 opetope의 범주를 명시적으로 구성하고, opetopic set의 범주가 이 opetope의 범주 위의 프레시브 범주와 동치임을 증명한다. 레이블이 붙은 트리로서 opetope를 형식화하고, 복합 구조를 유지하는 얼굴 사상(face maps)을 정의하여, 저자는 opetopic set이 프레시브 범주임을 입증하는 기초적인 동치를 확립한다. 이는 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의 이전 작업에서 공식적으로 정의되지 않은 바, opetope의 범주를 명시적으로 구성하는 것.
• opetopic set의 범주가 opetope의 범주 위의 프레시브 범주의 동치임을 입증하여, opetopic set의 프레시브 해석을 검증하는 것.
• Hermida, Makkai, Power, Leinster의 결과들과의 호환성을 확보하기 위해 이전 작업에 기반한 수정된 이론을 사용하여 원래 opetopic set 정의의 모호함을 해결하는 것.
• opetope와 multitope 사이의 관계를 명확히 하여, 각 차원에서 이들이 서로 이sovorphism에 대해 동치임을 보이는 것.
• 프레시브 범주 이론에서 잘 알려진 프레임워크에 opetopic set을 통합함으로써, 약한 n-범주의 이론에 대한 범주론적 기초를 제공하는 것.

제안 방법

• k-opetope를 특정 복합 제약 조건을 가진 레이블이 붙은 트리로 정의하고, Kelly-Mac Lane 그래프로서 트리의 형식화를 사용하여 opetope의 범주를 구성한다.
• 다양한 차원의 opetope 간의 얼굴 사상(face maps)을 정의하며, k-opetope의 (k-1)-면은 그의 소스와 타겟이며, 복합이 일어날 때 (k-2)-면이 식별된다.
• Opetope 범주는 모든 opetope의 범주에서의 전부 포함(full) 부분범주로 정의되며, 사상들은 얼굴 구조와 복합 구성 요소를 유지한다.
• Opetopic set은 opetope의 범주의 반대 범주에서 집합의 범주로의 함자를 정의하며, 셀의 구조는 얼굴에 의해 결정되고, 레이블이 붙은 트리에 의해 프레임이 정의된다.
• 결과 [12]를 이용하여 opetopic set과 프레시브 사이의 동치를 증명한다. 이는 Yoneda 임베딩이 전형적이고 본질적으로 전사임을 보여준다.
• 각 opetope α가 표현 가능한 프레시브 G(α)를 유도함을 보여, α ↦ G(α)의 할당이 opetope의 범주에서 opetopic set의 범주로의 전형적 포함을 정의한다. 이는 동치를 확립한다.

실험 결과

연구 질문

• RQ1 opetopic set의 기초가 되는 opetope의 범주를 어떻게 명시적으로 구성할 수 있는가?
• RQ2 Baez와 Dolan이 제안했지만 증명하지 못한 lin, opetopic set의 범주가 opetope의 범주 위의 프레시브 범주와 동치인가?
• RQ3 opetope와 multitope 사이의 정확한 관계는 무엇이며, 각 차원에서 이들은 서로 이sovorphism에 대해 동치인가?
• RQ4 이 논문에서 사용된 opetopic 이론의 수정 사항은 Hermida, Makkai, Power, Leinster의 작업과 어떻게 관련이 있는가?
• RQ5 opetopic set의 범주는 완전히 프레시브 범주로 특징지어질 수 있는가? 이는 약한 n-범주의 이론에 어떤 의미를 갖는가?

주요 결과

• opetope의 범주는 모든 차원의 opetope를 객체로 하고, 복합 구조를 유지하는 얼굴 사상을 갖는 범주로 명시적으로 구성된다.
• opetopic set의 범주는 opetope의 범주 위의 프레시브 범주와 동치임이 입증되어, 약한 n-범주의 이론에 기초적인 결과를 제공한다.
• 각 opetope α는 표현 가능한 프레시브 G(α)를 유도하며, α ↦ G(α)의 할당은 opetope의 범주를 opetopic set의 범주로의 전형적 포함을 정의한다.
• 프레시브 범주는 코코complete이며, 모든 opetopic set은 이러한 표현 가능한 프레시브의 코일리미트로 나타나므로, Yoneda 임베딩의 본질적 전사성이 확인된다.
• opetopic set의 범주는 표현 가능한 프레시브의 전부 포함 부분범주 위의 프레시브 범주와 동치임이 확인되어, opetopic set이 프레시브 범주임을 확인한다.
• 동치는 모든 opetopic set의 사상이 각 형태 α의 셀에 대한 작용에 의해 결정됨을 의미하며, 이sovorphism는 표현 가능한 프레시브에 대한 작용에 의해 감지됨을 시사한다.