저차원 n‑카테고리 주기표: 퇴화 범주와 퇴화 이중범주의 구조적 대응

초록

이 논문은 퇴화된 1‑카테고리와 2‑카테고리(특히 이중 퇴화)의 전체 구조를 살펴보고, 이들이 각각 모노이드, 교환 모노이드, 그리고 모노이달 범주와 어떻게 대응되는지를 분석한다. 2‑카테고리·3‑카테고리 수준에서의 자연 변환까지 포함한 전체 구조는 단순한 동등성(biequivalence, triequivalence)을 제공하지 않으며, 적절히 고차 사상을 무시하거나 차원을 낮춘 범주(또는 이중범주)로 제한해야만 정확한 동등성을 얻을 수 있음을 보인다. 마지막으로 n‑차원 일반화에 대한 가설을 제시한다.

상세 분석

논문은 “주기표(periodic table) of weak n‑categories”라는 메타프레임을 저차원에 국한시켜, 퇴화된 범주들이 기존 대수적 구조와 어떻게 일대일 대응되는지를 체계적으로 검증한다. 먼저, 0‑셀만 비자명하고 모든 1‑셀이 동등한 퇴화된 1‑카테고리(즉, 한 객체와 그 자기동형사상만을 가진 범주)를 고려한다. 이러한 범주들의 2‑범주 Cat 안에서의 전임자들은 자연 변환까지 포함하는 2‑셀을 갖는다. 저자는 이 전임자들을 “degenerate categories”라 명명하고, 이들의 동형 사상군을 추출하면 전통적인 모노이드 구조가 된다. 그러나 2‑카테고리 수준에서의 자연 변환을 그대로 보존하면, 모노이드가 형성하는 1‑카테고리(또는 이산 2‑카테고리)와는 biequivalence가 성립하지 않는다. 이는 자연 변환이 모노이드의 원소 사이에 불필요한 고차 구조를 도입하기 때문이다. 따라서 자연 변환을 무시하고 단순히 객체와 1‑셀(함수)만을 고려한 “category of degenerate categories”를 취하면, 정확히 모노이드와 동등함을 보인다.

다음으로, 2‑카테고리에서 한 객체와 그 자기 1‑셀만을 남기고 2‑셀을 자유롭게 허용한 “degenerate bicategory”를 살핀다. 이 구조는 전통적인 모노이달 범주(monidal category)와 대응한다. 여기서도 마찬가지로, 3‑카테고리 수준(트리카테고리)에서의 2‑셀(변환)와 3‑셀(수정)까지 모두 포함하면, 모노이달 범주가 형성하는 2‑카테고리와는 triequivalence가 깨진다. 저자는 2‑셀(즉, 강한 자연 변환)만을 무시하고, “category of degenerate bicategories”를 고려하면 모노이달 범주와 동등함을 얻는다. 이는 고차 변환이 모노이달 구조의 핵심 연산(텐서와 단위 객체)의 동형성을 초과하는 자유도를 제공하기 때문이다.

특히 흥미로운 경우는 “doubly degenerate bicategory”이다. 여기서는 객체와 1‑셀이 모두 하나뿐이며, 2‑셀만이 다수 존재한다. 이러한 구조는 교환 모노이드(commutative monoid)와 일대일 대응한다는 것이 알려져 있다. 그러나 트리카테고리 전체를 유지하면, 교환 모노이드를 3‑셀까지 포함하는 이산 트리카테고리와는 자연스럽게 triequivalence가 성립하지 않는다. 저자는 2‑셀(변환)까지는 보존하고, 3‑셀(수정)만을 무시한 “bicategory of doubly degenerate bicategories”를 구성하면, 교환 모노이드와 정확히 동등함을 얻는다는 중요한 결과를 제시한다. 이는 교환성을 표현하는 2‑셀가 충분히 구조를 포착하지만, 3‑셀 수준에서의 자유도가 과잉이기 때문이다.

마지막으로, 이러한 사례들을 일반화하여 n‑차원에서 n‑중 퇴화된 n‑카테고리가 (n‑1)‑중 대수 구조와 대응한다는 가설을 제시한다. 구체적으로, n‑차원 퇴화된 n‑카테고리의 전체 (n+1)‑카테고리 구조를 그대로 유지하면 동등성이 깨지지만, 적절히 고차 사상을 차단하거나 차원을 낮춘 (n‑1)‑카테고리 수준으로 제한하면 정확한 동등성을 얻을 수 있다는 일반 원리를 제시한다. 이는 “주기표”가 단순히 객체‑동형사상 수준의 대응을 넘어, 고차 사상의 관리가 핵심임을 강조한다.