삼중범주의 저차원 구조

초록

우리는 삼중범주와 그 사이의 호모모르피즘을 2‑셀을 특정 퇴화된 삼중변환으로 하는 이중범주로 구성한다. 이어서 이 이중범주를 국소 입방형 이중범주라는 3차원 구조의 한 예로 풍부하게 만든다. 이는 의사 이중범주의 단일 모노이달 2‑범주에 풍부화된 이중범주이다. 마지막으로, 충분히 잘 정의된 국소 입방형 이중범주마다 삼중범주를 유도할 수 있음을 보이고, 이를 통해 삼중범주의 삼중범주가 존재함을 추론한다.

상세 요약

이 논문은 고차원 범주론에서 오래된 문제 중 하나인 “범주들의 범주”를 삼중범주 수준까지 끌어올리는 중요한 진전을 제시한다. 기존에 2‑범주와 그 사이의 변환을 다루는 이중범주 구조는 잘 정립돼 있었지만, 삼중범주 사이의 사상과 그 사이의 2‑셀, 3‑셀을 동시에 포괄하는 일관된 틀은 부족했다. 저자들은 먼저 삼중범주와 그 사이의 호모모르피즘을 객체와 1‑셀로, 그리고 특정 퇴화된 삼중변환을 2‑셀로 삼아 하나의 이중범주 B를 만든다. 여기서 “퇴화된”이라는 표현은 삼중변환 중에서 모든 고차원 교환법칙이 엄격하게 만족되는 경우를 선택함으로써 복잡성을 크게 낮추면서도 핵심 구조를 보존한다는 의미이다.

다음 단계에서는 B를 ‘국소 입방형 이중범주(locally cubical bicategory)’라는 새로운 3‑차원 구조로 풍부화한다. 이는 ‘의사 이중범주(pseudo double categories)’라는 2‑범주에 대한 모노이달 구조 위에 B를 풍부화(enrich)함으로써 얻어진다. 입방형이라는 명칭은 2‑셀과 3‑셀 사이에 존재하는 사각형(큐브) 형태의 교환법칙을 강조한다. 이 풍부화 과정은 단순히 객체와 사상만을 나열하는 것이 아니라, 교환법칙 자체를 고차원 셀로 승격시켜 복합적인 합성 규칙을 자연스럽게 내포한다.

핵심 정리는 “충분히 잘‑정의된” 국소 입방형 이중범주가 주어지면, 이를 통해 삼중범주 구조를 재구성할 수 있다는 점이다. 저자들은 이러한 재구성 절차를 구체적인 데이터(객체, 1‑셀, 2‑셀, 3‑셀 및 그들의 합성법칙)와 함께 제시하고, 특히 교환법칙의 ‘국소성’—즉, 각 입방형이 독립적으로 만족하는 조건—이 전체 삼중범주의 일관성을 보장한다는 점을 강조한다.

마지막으로, 이 결과를 이용해 “삼중범주의 삼중범주(tricategory of tricategories)”가 존재함을 증명한다. 이는 고차원 수학, 특히 고차원 대수와 위상수학, 그리고 물리학의 고차원 양자 이론에서 복잡한 구조를 체계적으로 다루는 데 필수적인 도구가 될 전망이다. 또한, 이론적 컴퓨터 과학에서 고차원 타입 이론이나 프로그래밍 언어의 의미론을 확장하는 데도 직접적인 응용 가능성을 제공한다.

요약하면, 논문은 삼중범주 사이의 사상 체계를 이중범주로 정형화하고, 이를 국소 입방형 이중범주라는 풍부한 3‑차원 구조로 승격시킨 뒤, 이러한 구조가 다시 삼중범주를 생성함을 보임으로써 고차원 범주론의 중요한 사다리를 한 단계 올렸다 할 수 있다.