약한 분배법칙의 2 카테고리 구조

초록

이 논문은 2-카테고리 내에서 모나드와 코모나드가 연결되는 약한 혼합 분배법칙(약한 얽힘 구조)을 정의하고, 이를 모나드와 코모나드의 호환 쌍으로 기술한다. 이러한 구조를 0-셀로 하는 2-카테고리를 구성하고, 모나드와 코모나드의 Eilenberg‑Moore 객체가 존재하고 아이디포턴트 2-셀들이 분리되는 2-카테고리 K에서 이 2-카테고리를 K^{2×2}에 완전 충실하게 삽입하는 2-함수를 만든다.

상세 요약

논문은 먼저 Beck가 제시한 혼합 분배법칙을 일반화하여, 2-카테고리 K 안에서 모나드 (T, μ, η)와 코모나드 (C, δ, ε) 사이에 2-셀 λ : TC ⇒ CT 를 도입한다. 여기서 λ는 전통적인 분배법칙이 요구하는 엄격한 교환 조건을 완화하여, λ·Tη = ηC·λ 와 Cε·λ = εT·λ 와 같은 ‘약한’ 연산법칙만을 만족한다. 이러한 약한 혼합 분배법칙을 ‘약한 얽힘 구조(weak entwining structure)’라 부른다.

핵심 아이디어는 약한 분배법칙을 ‘호환 가능한 모나드와 코모나드의 쌍’으로 재해석하는 것이다. 구체적으로, K의 2-카테고리 Mon(K)와 Comon(K)를 각각 확장하여, 모나드와 코모나드가 서로의 1-셀을 보존하면서도 λ에 의해 연결되는 새로운 2-카테고리 Mon^w(K), Comon^w(K)를 만든다. 이 확장은 기존의 Mon(K)·Comon(K) 구조를 포함하면서도, λ가 아이디포턴트 2-셀을 생성하는 경우에도 닫힌 형태를 유지한다.

그 다음 저자는 이러한 확장된 2-카테고리를 이용해, 약한 혼합 분배법칙 자체를 0-셀로 하는 2-카테고리 WDL(K)를 정의한다. 1-셀은 모나드와 코모나드 사이의 변환(모나드 사상과 코모나드 사상의 쌍)이며, 2-셀는 두 변환 사이의 자연 변환으로, λ와의 호환성을 보장한다.

주요 정리는 K가 모나드와 코모나드에 대한 Eilenberg‑Moore 구축을 모두 지원하고, 모든 아이디포턴트 2-셀이 분리될 때, WDL(K)를 K^{2×2} (즉, 사각형 2-셀들의 2-카테고리) 안에 완전 충실하게 삽입할 수 있다는 것이다. 구체적인 2-함수 F : WDL(K) → K^{2×2}는 각 약한 분배법칙 (T, C, λ)를 (K의 객체, T‑알제브라, C‑코알제브라, λ‑호환 구조) 로 매핑한다. 이때 F는 1-셀과 2-셀 모두를 보존하며, 동형 사상만을 놓치지 않으므로 완전 충실함을 만족한다.

증명은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 Eilenberg‑Moore 객체가 존재함을 이용해, 모나드와 코모나드 각각에 대한 자유‑대수와 자유‑코대수 구조를 구성한다. 두 번째 단계에서는 아이디포턴트 2-셀이 분리되는 성질을 활용해, λ가 생성하는 사상들을 정규화하고, 사각형 2-셀 안에서의 교환 법칙을 강제한다. 이 과정을 통해 F가 전사적이면서도 전단사적인 2-함수가 됨을 보인다.

이 결과는 기존의 Beck 분배법칙이 요구하는 강한 교환 조건을 완화하면서도, 2-카테고리 수준에서 구조적 보존을 확보한다는 점에서 의미가 크다. 특히, 약한 얽힘 구조는 양자 군론, 코호몰로지 이론, 그리고 비대칭 연산자를 다루는 여러 분야에서 자연스럽게 나타나며, 본 논문의 프레임워크는 이러한 사례들을 통합적으로 분석할 수 있는 범주론적 도구를 제공한다.