[논문 리뷰] The periodic table of $n$-categories for low dimensions II: degenerate tricategories

Eugenia Cheng, Nick Gurski|ArXiv.org|2007. 06. 15.

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

한 줄 요약

이 논문은 삼중으로 열화된 삼차 범주에 대한 대수적 분석을 완성하여, 완전히 대수적인 단일 모나드 이중범주(monoidal bicategories)의 정의를 수립하고, Tricat의 삼차 범주 MonBicat를 구성한다. 삼중으로 열화된 삼차 범주는 교환 법칙을 만족하는 모노이드의 범주와 삼차 동치(triequivalent)임을 증명하며, 이중으로 열화된 삼차 범주는 브레이드된 모노이드 범주를 유도하지만, Tricat의 표준적인 삼차 범주 구조는 BrMonCat와 직접 비교할 수 없으며, 이 문제를 해결하기 위해 삼차 범주 구조를 상당히 수정해야만 진정으로 동치(triequivalence)가 성립함을 보여준다.

ABSTRACT

We continue the project begun in ``The periodic table of $n$-categories for low dimensions I'' by examining degenerate tricategories and comparing them with the structures predicted by the Periodic table. For triply degenerate tricategories we exhibit a triequivalence with the partially discrete tricategory of commutative monoids. For the doubly degenerate case we explain how to construct a braided monoidal category from a given doubly degenerate category, but show that this does not induce a straightforward comparison between \bfseries{BrMonCat} and \bfseries{Tricat}. We show how to alter the natural structure of \bfseries{Tricat} in two different ways to provide a comparison, but show that only the more brutal alteration yields an equivalence. Finally we study degenerate tricategories in order to give the first fully algebraic definition of monoidal bicategories and the full tricategory structure \bfseries{MonBicat}.

연구 동기 및 목표

• n-범주의 주기적 표표에 의해 예측된 바와 같이, 열화된 삼차 범주의 대수적 특성 분석을 완성하는 것.
• 강한 구조에 의존하지 않고, 동치 정리(coherence theorems)에 의존하지 않는 완전히 대수적인 방식으로 단일 모나드 이중범주를 정의하는 것.
• 모든 고차 사상과 동치 데이터를 포함하여 MonBicat라는 삼차 범주를 명시적으로 구성하는 것.
• Tricat의 삼차 범주 구조를 수정함으로써 이중으로 열화된 삼차 범주와 브레이드된 모노이드 범주 사이의 불일치를 해결하는 것.
• 특히 삼차 범주에서의 경우를 포함하여, k-열화된 n-범주와 k-중으로 모노이드적인 (n−k)-범주 간의 관계를 명확히 하는 것.

제안 방법

• 삼중으로 열화된 삼차 범주를 분석하여, 교환 법칙을 만족하는 모노이드의 부분적으로 이산적인 삼차 범주와 삼차 동치임을 보이는 것.
• 0-세포에 유도된 구조를 통해 이중으로 열화된 삼차 범주로부터 브레이드된 모노이드 범주를 구성하는 것.
• Tricat에 자연스러운 삼차 범주 구조가 BrMonCat와 직접 비교할 수 없는 이유를 규명하는 것—비가역적인 동치 세포(coherence cells) 때문임을 밝혀내는 것.
• 동치를 복원하기 위해 Tricat의 두 가지 수정된 버전을 도입하며, 유일하게 더 근본적인 수정만이 진정한 삼차 동치를 보장함을 보이는 것.
• 도표적 추론과 동치 공리(수정, 변형 포함)를 사용하여 MonBicat의 전체 삼차 범주 구조를 검증하는 것.
• 차원 이동 원리(dimension shift principle)를 적용하여, k-열화된 n-범주를 k개의 상호작용 가능한 모노이드 구조를 가진 (n−k)-범주로 재해석하는 것.

실험 결과

연구 질문

• RQ1 삼중으로 열화된 삼차 범주의 정확한 대수적 구조는 무엇이며, 이를 교환 법칙을 만족하는 모노이드와 어떻게 연관지을 수 있는가?
• RQ2 이중으로 열화된 삼차 범주는 완전히 대수적인 방식으로 브레이드된 모노이드 범주를 정의하는 데 사용될 수 있는가?
• RQ3 Tricat의 자연스러운 삼차 범주 구조가 왜 BrMonCat와 직접 비교할 수 없으며, 이를 어떻게 수정할 수 있는가?
• RQ4 BrMonCat와의 삼차 동치를 달성하기 위해 Tricat에 어떤 수정이 필요한가?
• RQ5 강한 구조나 약한 구조에 의존하지 않고, 단일 모나드 이중범주를 어떻게 대수적으로 정의할 수 있는가?

주요 결과

• 삼중으로 열화된 삼차 범주는 부분적으로 이산적인 교환 법칙을 만족하는 모노이드의 삼차 범주와 삼차 동치이며, 주기적 표표의 예측을 확인한다.
• 이중으로 열화된 삼차 범주는 자연스럽게 브레이드된 모노이드 범주를 유도하지만, Tricat의 표준 삼차 범주 구조는 BrMonCat와의 직접 비교를 허용하지 않는다.
• BrMonCat와의 진정한 삼차 동치를 달성하기 위해서는 동치 세포를 완전히 가역적으로 만든, 상당히 수정된 Tricat의 한 버전 뿐이 유일하게 성립한다.
• 이 논문은 모든 고차 사상과 동치 데이터를 포함한, 단일 모나드 이중범주에 대한 최초의 완전한 대수적 정의를 제공한다.
• 모든 합성 법칙, 변환, 수정, 변형이 도표적 공리에 의해 검증된, 명시적인 MonBicat 삼차 범주가 구성된다.
• 분석 결과, k-열화된 n-범주와 k-중으로 모노이드적인 (n−k)-범주는 관련이 있지만, 목표 삼차 범주의 구조를 조정하지 않으면 동치가 아니라는 것이 확인된다.