약한 얽힘 구조의 2 범주

초록

이 논문은 2-범주 K에서 모나드 t와 코모나드 c를 연결하는 2-셀을 도입해 약한 얽힘 구조(weak entwining structure)를 정의한다. 이러한 구조를 모나드와 코모나드의 호환 쌍으로 해석하고, 이를 기반으로 2-범주 Entw⁽ʷ⁾(K)를 구성한다. K가 모나드와 코모나드에 대한 Eilenberg‑Moore 구축을 허용하고 멱등 2-셀이 분리될 때, 약한 얽힘 구조는 각각 코모나드에 대한 ‘약한 상승(lifting)’된 모나드와 모나드에 대한 ‘약한 상승’된 코모나드로 사상된다. 두 상승된 구조의 Eilenberg‑Moore 객체는 동등하며, K가 바이모듈에 의해 유도된 2-범주일 경우 이 객체는 전통적인 약한 얽힘 모듈 범주와 일치한다.

상세 분석

논문은 먼저 2-범주 K 안에서 모나드 t와 코모나드 c가 동시에 존재할 때, 이 둘을 연결하는 2-셀 ψ: c t ⇒ t c 를 도입한다. 기존의 혼합 분배 법칙(mixed distributive law)은 ψ가 강한 연산성을 만족해야 하지만, 여기서는 ψ가 약한 연산성만을 요구한다는 점이 핵심이다. 이를 ‘약한 얽힘 구조’라 명명하고, ψ가 만족해야 할 네 개의 공리(단위·곱 연산에 대한 호환성, 코단위·코곱 연산에 대한 호환성, 그리고 두 연산 사이의 교환 법칙)를 명시한다. 이러한 공리는 모나드와 코모나드가 각각 독립적으로 작용하면서도 서로의 구조를 약하게 조정하도록 만든다.

다음으로 저자는 약한 얽힘 구조를 ‘모나드와 코모나드의 호환 쌍’으로 재해석한다. 구체적으로, 2-범주 Mnd(K)와 Comnd(K) 안에 각각 객체(모나드, 코모나드)와 1-셀(모나드/코모나드 사이의 변환), 2-셀(자연 변환)으로 구성된 2-범주를 고려한다. 약한 얽힘 구조는 이 두 2-범주 사이의 ‘쌍대적’ 관계를 만족하는 객체쌍 (t, c)와 2-셀 ψ 로서, Entw⁽ʷ⁾(K) 라는 새로운 2-범주를 정의하는 데 사용된다. 여기서 1-셀은 모나드와 코모나드 사이의 적절한 변환쌍이며, 2-셀은 그 변환을 보존하는 2-셀이다.

핵심 결과는 K가 모나드와 코모나드에 대한 Eilenberg‑Moore 구축을 지원하고, 멱등 2-셀이 분리될 경우, Entw⁽ʷ⁾(K)에서 각 약한 얽힘 구조 (t, c, ψ) 에 대해 두 개의 ‘약한 상승(lifting)’을 정의할 수 있다는 점이다. 첫 번째는 코모나드 c 위에 모나드 t 를 상승시켜 새로운 모나드 t̂ 를 얻는 것이고, 두 번째는 모나드 t 위에 코모나드 c 를 상승시켜 새로운 코모나드 ĉ 를 얻는 것이다. 이 두 상승은 각각 pseudo‑functor L: Entw⁽ʷ⁾(K)→Mnd(K) 와 R: Entw⁽ʷ⁾(K)→Comnd(K) 로 구현된다. 중요한 것은 t̂ 와 ĉ 가 서로 ‘동등(equivalent)’한 Eilenberg‑Moore 객체를 갖는다는 증명이다. 즉, 약한 얽힘 구조가 제공하는 두 상승은 본질적으로 같은 대수적 정보를 담고 있다.

마지막으로 저자는 K를 바이모듈에 의해 생성된 2-범주(예: Bimod) 로 특수화한다. 이 경우, t̂ 와 ĉ 의 Eilenberg‑Moore 객체는 전통적인 ‘약한 얽힘 모듈(weak entwined modules)’ 범주와 동형임을 보인다. 따라서 이 추상적 2‑범주적 접근은 기존의 모듈 이론을 일반화하면서도, 구체적인 사례와 완벽히 일치한다는 점에서 이론적·응용적 가치를 동시에 제공한다.