삼중·이중 퇴화 삼카테고리와 주기표의 새로운 통찰

본 논문은 Baez‑Dolan이 제시한 “주기표(Periodic Table) of n‑categories”를 구체화하기 위해, 퇴화된 삼카테고리(tricategory)를 상세히 분석하고, 그 결과가 주기표가 예측하는 구조와 어떻게 일치하거나 차이를 보이는지를 조사한다. 논문의 흐름은 크게 네 부분으로 나뉜다. 1. **퇴화 개념과 차원 이동** 저자들은 n‑카테고리에서 가장 낮은 차원이 k‑차원일 때 이를 “k‑degenerate n‑category”라 정의한다. 그런 뒤, 기존 n‑카테고리의 k‑셀을 새로운 (n‑k)‑카테고리의 0‑셀로 보는 차원 이동(dimension‑shift) 과정을 도입한다. 이 과정에서 k‑셀은 k 개의 서로 다른 합성 연산을 가지며, 이 연산들은 원래 카테고리의 교환법칙(interchanger)과 연관된다. 따라서 “k‑tuply monoidal (n‑k)‑category”라는 개념이 자연스럽게 등장한다. 2. **삼중 퇴화 삼카테고리 (k=3, n=3)** 삼중 퇴화 삼카테고리는 0‑셀, 1‑셀, 2‑셀이 모두 하나뿐이고, 비자명한 데이터는 3‑셀뿐이다. 3‑셀은 교환 모노이드(commutative monoid)의 원소와 일대일 대응한다. 저자들은 이 구조를 “부분 이산(partially discrete) 삼카테고리 of commutative monoids”와 트리동등(triequivalence)함을 증명한다. 여기서 트리동등은 삼카테고리 수준에서의 완전한 동등성을 의미하며, 단순히 객체 수준의 동형 사상이 아니라 1‑셀, 2‑셀, 3‑셀 전부에 걸친 동등성을 포함한다. 3. **이중 퇴화 삼카테고리 (k=2, n=3)** 이 경우 0‑셀과 1‑셀이 유일하고, 2‑셀과 3‑셀이 비자명하다. 2‑셀을 객체, 3‑셀을 사상으로 보는 모노이달 범주를 구성하고, 삼카테고리의 교환자와 연합자가 제공하는 비가역적 구조를 이용해 브레이딩을 정의한다. 결과적으로 각 이중 퇴화 삼카테고리는 브레이디드 모노이달 범주(braded monoidal category)를 산출한다. 그러나 이 과정에서 “추가 구조”(예: 특정 3‑셀을 강제로 식별자로 잡는 선택)가 발생해 BrMonCat와 Tricat 사이에 직접적인 비교가 어려워진다. 이를 해결하기 위해 두 가지 변형을 제시한다. - **첫 번째 변형**은 모든 고차 셀을 식별자로 강제하는 “부분 이산화” 방법이다. 이는 BrMonCat의 4‑차원 버전과 동형이지만, 삼카테고리 구조를 보존하지 못한다. - **두 번째 변형**은 고차 셀을 완전히 삭제하고, 남은 1‑셀·2‑셀에 대한 합성을 재정의하는 “잔인한(brutal) 변형”이다. 이 변형을 통해 BrMonCat와 Tricat 사이에 이중동등(biequivalence) 수준의 비교가 가능해진다. 저자들은 두 변형 모두를 상세히 기술하고, 각각의 장단점을 논의한다. 특히 두 번째 변형이 유일하게 “등가성(equivalence)”을 제공한다는 점을 강조한다. 4. **완전 퇴화 삼카테고리 (k=1, n=3)** 여기서는 0‑셀만이 유일하고, 1‑셀, 2‑셀, 3‑셀 모두 비자명하다. 저자들은 1‑셀·2‑셀을 이용해 **모노이달 이중카테고리(monidal bicategory)** 를 정의한다. 3‑셀은 이중카테고리 사이의 변형(modification)으로 해석된다. 기존 Tricat 구조를 그대로 적용하면 고차 셀 간의 교환 법칙이 과도하게 일반적이어서, 원하는 대수적 제약을 만족시키지 못한다. 따라서 저자들은 Tricat 안에 **MonBicat**이라는 새로운 삼카테고리를 구축한다. - **MonBicat의 0‑셀**: 모노이달 이중카테고리 - **1‑셀**: 모노이달 이중함자 (monoidal homomorphism) - **2‑셀**: 모노이달 이중변환 (monoidal transformation) - **3‑셀**: 모노이달 이중수정 (monoidal modification) 이 구조는 퇴화 삼카테고리와 일대일 대응하면서도, 기존 Tricat과는 다른 고차 합성 규칙을 갖는다. 특히 3‑셀 수준에서의 교환자와 연합자는 모노이달 이중카테고리의 이중 구조와 일치하도록 설계되었다. 5. **전반적 고찰 및 결론** 논문은 n=2와 n=3 사이의 근본적인 차이를 강조한다. 이차원 이하에서는 모든 약한 구조가 엄격 구조와 동등(equivalent)하게 변환될 수 있지만, 삼차원에서는 교환자와 연합자의 비가역성이 새로운 현상을 만든다. 이는 “모든 이중카테고리는 strict 2‑category와 biequivalent하지만, 모든 삼카테고리는 strict 3‑category와 triequivalent하지 않다”는 일반 원리와 일치한다. 최종적으로 저자들은 주기표가 예측한 “k‑tuply monoidal (n‑k)‑category”와 실제 퇴화 n‑카테고리 사이의 관계는 단순히 동형 사상 수준이 아니라, 고차 셀의 선택과 합성 재정의에 크게 의존한다는 중요한 교훈을 제시한다. 특히 이중 퇴화 삼카테고리에서 나타나는 브레이딩은 주기표가 예측한 “braided monoidal category”와 일치하지만, 추가 구조 때문에 직접적인 동등성을 얻기 위해서는 구조적 변형이 필수적이다.