약한 모나드 이론

초록

Lack와 Street의 2‑카테고리 모나드 구조를 완화하여 EM^w(K) 라는 약한 2‑카테고리를 정의하고, 이와 기존 모나드·프리‑모나드의 관계를 탐구한다. K가 Eilenberg‑Moore 구축을 허용하고 아이디포텐트 2‑셀의 분해가 가능할 때, 두 종류의 약한 상승(weak lifting)을 제시하고, 이를 pseudo‑functor를 통해 K 안으로 전이한다. 약한 얽힘 구조와 부분 얽힘 구조가 이러한 약한 상승을 구현함을 보이며, 약한 바이알제브라를 모나드와 코모나드의 상호 약한 상승으로 특징짓는다.

상세 분석

논문은 먼저 기존의 2‑카테고리 K 위에 정의된 모나드 2‑카테고리 EM(K)를 재검토한다. EM(K)에서는 1‑셀(모나드 간의 전사)과 2‑셀(전사의 변환) 사이에 단위와 곱셈에 대한 강한 호환 조건을 요구한다. 저자들은 이 강한 조건을 완화하여, 1‑셀에 대한 단위 호환을 포기하고 대신 2‑셀에 추가적인 제약을 부과한다. 이를 통해 얻어지는 새로운 2‑카테고리 EM^w(K)는 ‘약한’ 모나드 구조라고 명명된다. EM^w(K)의 1‑셀은 기존과 동일하게 모나드 사이의 1‑셀이지만, 단위와의 호환을 강제하지 않으며, 대신 해당 1‑셀에 연결된 2‑셀가 특정 교환 사각형을 만족하도록 요구한다. 이 교환 사각형은 원래의 단위 호환을 2‑셀 수준에서 보완하는 역할을 한다.

다음으로 저자들은 EM^w(K) 안의 모나드와 K 안의 복합 프리‑모나드(pre‑monad) 사이의 일대일 대응을 구축한다. 복합 프리‑모나드는 K 안에서 두 개의 1‑셀과 그 사이의 2‑셀 구조가 결합된 형태로, 전통적인 모나드의 연산을 약화시킨 버전이다. 논문은 EM^w(K) 의 모나드가 정확히 이러한 복합 프리‑모나드와 동형임을 증명함으로써, 약한 모나드 이론이 기존 구조를 일반화한다는 점을 강조한다.

K 가 모든 모나드에 대해 Eilenberg‑Moore 객체를 갖는 경우, 즉 EM(K) 가 완전하게 존재하는 경우, 저자들은 두 종류의 ‘약한 상승(weak lifting)’을 정의한다. 첫 번째는 모나드 T 가 코모나드 G 위에 약하게 상승하는 경우이며, 두 번째는 코모나드 G 가 모나드 T 위에 약하게 상승하는 경우이다. 이 두 개념은 대칭적이며, 각각은 EM^w(K) 의 객체와 사상들을 K 로 옮기는 pseudo‑functor L 와 R 로 구체화된다. 특히 아이디포텐트 2‑셀(즉, e·e = e 인 2‑셀)이 K 안에서 분해 가능할 때, 이러한 pseudo‑functor 가 실제 2‑셀 수준에서의 강제 조건 없이도 정확히 정의될 수 있음을 보인다.

마지막으로 논문은 구체적인 예시로 약한 얽힘 구조(weak entwining structures)와 부분 얽힘 구조(partial entwining structures)를 제시한다. 이 구조들은 각각 코모나드가 모나드 위에, 혹은 그 반대로 약하게 상승하도록 만드는 구체적인 데이터 집합이다. 특히 약한 바이알제브라(weak bialgebras)를 다룰 때, 이들은 알제브라와 코알제브라가 서로에 대해 약한 상승을 동시에 만족하는 경우와 동치임을 증명한다. 따라서 약한 바이알제브라는 기존의 바이알제브라 이론을 포괄하는 보다 일반적인 범주적 설명을 제공한다. 전체적으로 이 논문은 모나드와 코모나드 사이의 상호작용을 보다 유연하게 모델링할 수 있는 새로운 범주론적 도구를 제시하고, 기존 이론과의 연결 고리를 명확히 함으로써 향후 고차원 대수 구조 연구에 중요한 기반을 마련한다.