[논문 리뷰] Internal bicategories

Christopher L. Douglas, André Henriques|arXiv (Cornell University)|2012. 06. 19.

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

한 줄 요약

이 논문은 2-범주 내부에서 정의된 내부 이항범주(internal bicategories)를 소개하며, 특히 보르드יזם 3-범주와 등각 네티 등 기하학적·대수적 구조에서 유용한 대칭 모노이드 3-범주를 인코딩할 수 있는 프레임워크를 제공한다. 주요 기여는 내부 이항범주로부터 트리카테고리(tricategories)를 체계적으로 구성하는 것으로, 명시적인 공리와 고차 내부 약화 범주에 대한 재귀적 그림적 계산법을 포함하며, 이는 고차 내부 약화 범주의 공리 수를 예측한다.

ABSTRACT

We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well suited to examples arising in geometry and algebra, such as the 3-category of bordisms or the 3-category of conformal nets.

연구 동기 및 목표

• 대칭 모노이드 2-범주 내부의 이항범주를 사용하여 대칭 모노이드 3-범주를 인코딩하는 프레임워크를 체계화하는 것.
• 기하학과 대수학에서 발생하는 고차 범주적 구조(예: 보르드יזם 3-범주와 등각 네티)에 대한 체계적인 형식화의 부족을 해결하는 것.
• 2-범주 내부에서 이항범주, 디카테고리, 2-범주를 정의하고 분석하여 약화의 계층을 수립하는 것.
• CAT 내부의 이항범주로부터 트리카테고리를 구성하여, CAT 내부의 이항범주가 기저가 되는 트리카테고리를 유도함을 보여주는 것.
• 내부 이항범주에 대한 완전한 그림적 인코딩 공리 체계를 제공하고, 공리 수를 계산하는 재귀적 방법을 제시하는 것.

제안 방법

• 2-범주 내부의 내부 범주를 정의하고, 이를 3-범주 내부의 내부 범주로 확장하여 기초를 마련하는 것.
• 세 수준의 약화를 도입: 2-범주(엄밀한 결합법칙 및 항등원 법칙), 디카테고리(엄밀한 결합법칙), 이항범주(약한 결합법칙 및 항등원 법칙)를 2-범주 내부에서 정의하는 것.
• 각 다이어그램이 데이터나 공리의 일부를 나타내는 그림적 계산법을 사용하며, 셀에 대한 연산(예: 0-셀을 1-셀로 대체)에 의해 복잡도를 정의하는 것.
• 계층 내에서의 위치에 따라 그림 기호에 가중치를 할당: 0-셀은 2, 1-셀은 1, 2-셀은 0으로 정의하고, 재귀 관계를 통해 개수를 계산하는 것.
• 재귀 관계 C(k) = Σ N(i)C(k−i)를 사용하여 3-공리 수를 46으로 도출하며, 여기서 N(k)은 k번째 피보나치 수이다.
• 기저 트리카테고리의 0-데이터를 사용하여, 내부 이항범주의 공리가 함의되는 함수자성과 자연성 조건을 검증하는 것.

실험 결과

연구 질문

• RQ1 기하학과 대수학에서 발생하는 대칭 모노이드 3-범주는 어떻게 내부 고차 범주를 사용하여 체계적으로 인코딩할 수 있는가?
• RQ2 대칭 모노이드 2-범주 내부의 이항범주의 정확한 구조는 무엇이며, 보르드יזם과 등각 네티와 같은 알려진 3-범주적 예시와의 관계는 어떠한가?
• RQ3 내부 2-범주, 디카테고리, 이항범주는 계층적으로 어떻게 관련되어 있으며, 그에 대응하는 구조의 함의성은 어떠한가?
• RQ4 CAT 내부의 이항범주를 사용하여 트리카테고리를 구성할 수 있는가? 이 구성에서 피브라시티 조건의 역할은 무엇인가?
• RQ5 내부 이항범주에 대한 완전한 공리 체계는 무엇이며, 그 수는 재귀적 조합적 방법으로 예측할 수 있는가?

주요 결과

• 논문은 CAT 내부의 내부 이항범주로부터 트리카테고리를 구성하여, CAT 내부의 이항범주가 기저가 되는 트리카테고리를 유도함을 보여주며, 이는 핵심적인 구조적 결과이다.
• 내부 이항범주의 3-공리 수는 정확히 46개이며, 피보나치 수와 그림 복잡도를 포함한 재귀적 방법으로 도출되었다.
• 재귀적 그림적 계산법은 각 데이터와 공리에 고유한 복잡도와 가중치를 할당하여, 모든 구성 요소의 완전하고 체계적인 열거를 가능하게 한다.
• 이 프레임워크는 보르드יזם의 3-범주와 등각 네티의 3-범주를 대칭 모노이드 2-범주 내부의 내부 이항범주로 성공적으로 모델링한다.
• 트리카테고리의 구성에는 이항범주 객체에 대한 피브라시티 조건이 필요 없으며, 오직 0-데이터와 기본적인 함수자성에 의존한다.
• 이 방법은 1-범주 내부의 트리카테고리가 74개의 공리를, 3-범주 내부의 트리카테고리가 725개의 공리를 만족함을 예측하여 확장성의 가능성을 보여준다.