[논문 리뷰] Opetopic bicategories: comparison with the classical theory

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 6

한 줄 요약

이 논문은 Baez-Dolan opetopic 프레임워크에서 수정된 보편성 조건을 사용하여 정의된 opetopic 2-카테고리와 릿지 함수를 사용하는 고전적 2-카테고리 사이의 등가성을 확립한다. opetopic 2-카테고리에서 0-항 및 2-항 보편 2-세포에 대한 선택을 도입함으로써 저자들은 2-카테고리 구조를 구성하고, 그 결과로 유도된 편향된 opetopic 2-카테고리의 범주가 고전적 2-카테고리의 범주와 등가임을 증명한다.

ABSTRACT

We continue our previous modifications of the Baez-Dolan theory of opetopes to modify the Baez-Dolan definition of universality, and thereby the category of opetopic n-categories and lax functors. For the case n=2 we exhibit an equivalence between this category and the category of bicategories and lax functors. We examine notions of strictness in the opetopic theory.

연구 동기 및 목표

• 약한 2-카테고리의 opetopic 정의와 고전적 2-카테고리 이론 사이의 엄밀한 비교를 수립하기 위해.
• opetopic 이론에서의 복합의 비유일성과 고전 이론에서의 복합의 유일한 정의 사이의 괴리 문제를 해결하기 위해.
• 적절한 보편 세포 선택을 포함한 수정을 통해, opetopic 2-카테고리의 범주가 고전적 2-카테고리의 범주와 등가임을 보여주기 위해.
• 특히 2-함수와 조율성의 맥락에서 엄격성과 릿지성의 역할을 명확히 하기 위해.

제안 방법

• 집합 대신 객체의 범주를 갖는 대칭 다중카테고리로 보편성의 Baez-Dolan 정의를 수정한다.
• 모든 틈새에 보편적인 차용자가 있고, 보편성의 복합이 보편적이어야 하는 I-opetopic 집합으로서 opetopic n-카테고리를 정의한다.
• opetopic 2-카테고리에 0-항 및 2-항 보편 2-세포를 선택하여 '편향된 opetopic 2-카테고리'를 도입한다.
• 0-세포와 1-세포를 그대로 사용하고, 2-세포를 1-항 2-세포로 정의함으로써 opetopic 2-카테고리에서 2-카테고리 구조를 구성한다. 복합과 항등원은 선택된 보편 2-세포로부터 유도된다.
• 4-세포의 보편성과 복합의 조율성에 기반하여, 결과로 유도된 구조가 2-카테고리 공리계를 만족함을 증명한다.
• 보편성과 조율성의 증명을 통해, 편향된 opetopic 2-카테고리의 범주와 릿지 함수를 갖는 2-카테고리의 범주 사이의 함자적 등가를 수립한다.

실험 결과

연구 질문

• RQ1 약한 2-카테고리의 opetopic 정의가 고전적 2-카테고리 정의와 등가로 간주될 수 있는가?
• RQ2 opetopic 2-카테고리에서의 복합의 비유일성은 고전적 2-카테고리의 유일한 복합과 어떻게 조율될 수 있는가?
• RQ3 예를 들어 항등원과 이항 복합을 포함한 보편 2-세포의 선택이 opetopic 2-카테고리에서 고전적 2-카테고리를 구성하는 데 어떤 역할을 하는가?
• RQ4 결과로 유도된 2-카테고리의 구조적 동형사상(예: 결합자와 단위자)은 opetopic 프레임워크 하에서 조율성을 만족하는가?
• RQ5 opetopic 2-카테고리 간의 릿지 함수는 고전적 2-카테고리 간의 릿지 함수와 어떻게 관련이 있는가?

주요 결과

• 0-항 및 2-항 보편 2-세포의 선택을 도입한 구조를 통해, opetopic 2-카테고리의 범주가 릿지 함수를 갖는 2-카테고리의 범주와 등가임이 입증된다.
• 결과로 유도된 2-카테고리 구조는 항등원과 이항 복합의 보편 2-세포를 선택하여 opetopic 2-카테고리의 기본 데이터에 대해 정의된다.
• 결과로 유도된 2-카테고리의 결합 및 단위 공리계는 opetopic 프레임워크에서 4-세포의 보편성에 기반하여 검증된다.
• 2-카테고리의 구조적 동형사상(a, l, r)은 opetopic 설정에서의 보편성의 유일성에 기반하여 자연스럽고, 오각형 및 삼각형 항등식을 만족함이 입증된다.
• opetopic 2-카테고리 간의 릿지 함수는 해당 2-카테고리 간의 릿지 함수를 유도하며, 조율 데이터를 동형사상까지 보존한다.
• 증명은 opetopic 프레임워크가 비유일한 복합을 允許하지만, 적절한 선택과 보편적 구성 덕분에 고전적 2-카테고리의 구조를 복원할 수 있음을 보여준다.