고차 연산자와 풍부한 범주: 정규화 ω‑연산자의 풍부화 카테고리 해석

본 논문은 고차 연산자 이론과 풍부화 범주 이론을 연결하는 새로운 관점을 제시한다. 먼저, 저자는 카르테시안 모나드 T 가 정의된 글로버 집합 범주 𝔾 위에 라크스 모노이달 구조 T× 를 구축한다. 라크스 모노이달 구조는 전통적인 모노이달 카테고리와 달리 결합 법칙이 가역적이지 않을 수 있으며, ‘다중 텐서(multitensor)’라는 형태로 표현된다. 다중 텐서는 모든 자연수 차수에 대한 n‑ary 텐서곱을 제공하고, 이는 비대칭 연산자를 내부화한 것과 동등한 구조이다. 정규화된 ω‑연산자 α : A → T 는 객체 수준에서 아무 구조도 추가하지 않으며, 따라서 A‑알제브라와 T‑알제브라가 동일한 객체 집합을 공유한다. 저자는 이러한 정규화된 ω‑연산자를 T‑다중 텐서와 일대일 대응시킨다. 구체적으로, α 가 정의하는 카르테시안 변환은 다중 텐서의 연산자 구조를 보존하고, 이를 통해 T‑다중 텐서 (T‑multitensor)라는 새로운 객체를 만든다. 다음으로, T‑다중 텐서가 정의하는 라크스 모노이달 구조 T× 에 대해, T‑알제브라(즉, T‑모노이드)의 카테고리와 T×‑풍부화 범주(E‑Cat)의 동형을 구축한다. 여기서 풍부화 범주란 객체 집합 X₀ 와 각 쌍 (x, y) 에 대한 동질 객체 X(x, y) ∈ 𝔾 로 구성되며, 다중 텐서의 n‑ary 곱을 이용한 합성 사상이 존재한다. 저자는 이러한 구조가 정확히 T‑알제브라가 갖는 합성과 동일함을 보이며, 알제브라와 풍부화 범주 사이의 완전한 동형을 증명한다. 논문은 또한 다중 텐서가 ‘분배 가능한(distributive)’ 경우, 이를 End(𝔾) 안의 모노이드로 간주할 수 있음을 보인다. 이는 전통적인 연산자 → 모나드 전이와 유사하며, 특히 T 가 카르테시안이면서 프라(pra) 모나드일 때, 다중 텐서가 M T‑연산자(MT‑operad)와 동등함을 증명한다. 이 단계에서 저자는 ‘M T‑연산자’가 ‘다중 텐서’를 통해 라크스 모노이달 구조와 연결되는 핵심 매개체임을 강조한다. 그 후, 정규화된 n‑연산자(유한 차원)와 ω‑연산자 사이의 관계를 탐구한다. 정규화된 n‑연산자는 T 의 유한 차원 제한판에 해당하며, 동일한 방식으로 라크스 모노이달 구조와 풍부화 범주와 대응된다. 마지막으로, T‑알제브라가 실제로 엄격한 ω‑범주(strict ω‑category)와 동형임을 확인한다. 이는 기존에 알려진 결과와 일치하지만, 라크스 모노이달 구조를 이용한 증명은 보다 구조적이고 직관적이다. 전체적으로 논문은 다음과 같은 흐름을 따른다. (1) 라크스 모노이달 카테고리와 다중 텐서의 정의 및 기본 예시 제시, (2) 정규화된 ω‑연산자를 다중 텐서와 대응시키는 이론 전개, (3) 다중 텐서를 이용해 라크스 모노이달 구조를 구축하고, 이를 통해 알제브라와 풍부화 범주의 동형을 증명, (4) 분배 가능성 및 프라 모나드 조건을 이용해 MT‑연산자와의 동등성을 확보, (5) 유한 차원(정규화된 n‑연산자)과 ω‑차원 사례를 모두 포괄, (6) 최종적으로 T‑알제브라가 엄격 ω‑범주와 동형임을 확인. 이러한 일련의 결과는 고차 연산자 이론과 풍부화 범주 이론 사이의 깊은 연결 고리를 제공한다. 특히, 라크스 모노이달 구조가 고차 범주론의 귀납적 정의(‘(n+1)‑범주는 n‑범주에 풍부화된 것’)를 구현하는 핵심 매개체임을 보이며, 앞으로의 연구에서 그라프 텐서, 그레이 텐서 등 다양한 고차 텐서 구조를 포괄적으로 다룰 수 있는 토대를 마련한다.