함수쌍과 약한 (공)모나드의 새로운 연결고리

1. 서론에서는 전통적인 adjunction이 모나드·코모나드와 어떻게 연결되는지를 되짚으며, 단위(unit)와 counit의 존재가 너무 강한 제약이 될 수 있음을 지적한다. 약한 Hopf 알제브라와 약한 엔트와인 구조의 연구 동기를 제시하고, 이를 일반화하기 위한 ‘pairing’ 개념을 도입한다. 2. ‘pairing of functors’ 섹션에서는 L: A→B, R: B→A 와 자연 변환 α, β 로 이루어진 4‑tuple을 정의하고, quasi‑unit η와 quasi‑counit ε 를 도출한다. α·β·α = α, β·α·β = β 를 만족하면 ‘regular pairing’이라 부른다. 정규성은 α, β 가 각각 idempotent‑like 성질을 갖는 것을 의미한다. 또한 정규성 조건 하에서 idempotent h = β·α(Id_L) 또는 α·β(Id_R) 가 split 되면 실제 adjunction(β·α=Id 또는 α·β=Id) 으로 강제될 수 있음을 보인다. 3. ‘Monads and modules’ 섹션에서는 q‑unital monad (F, μ, η) 을 정의하고, F‑모듈(ϕ: FA→A) 의 범주 A→F 를 만든다. 자유·망각 함자 φ_F, U_F 로부터 pairing (φ_F, U_F, α_F, β_F) 를 구성한다. η 가 regular 하면 α_F 가 regular, μ 가 compatible 하면 β_F 가 regular이 된다. 따라서 (F, μ, η) 가 r‑unital monad이면 (φ_F, U_F) 사이에 regular pairing이 존재한다. ‘weak monad’ 은 η 가 regular이면서 대칭(α_F=α_F·β_F·α_F) 인 경우이며, 이는 기존의 weak monad·demimonad 정의와 동등함을 증명한다. 4. ‘Comonads and comodules’ 섹션은 위의 구조를 코모나드에 대해 대칭적으로 전개한다. q‑unital comonad (G, δ, ε) 와 G‑코모듈(ψ: X→GX) 을 정의하고, 자유·망각 함자 φ^G, U^G 로 regular pairing을 만든다. ‘r‑counital’·‘weak comonad’ 개념을 도입하고, μ와 유사한 호환성 조건을 제시한다. 5. ‘Entwining and liftings’ 섹션에서는 Beck의 분배법칙을 일반화한다. 엔트와인 자연 변환 λ: TG→GT 가 주어질 때, T 를 (F‑module) 범주 위로 리프팅하기 위한 필요·충분 조건을 제시한다. 정규 pairing이 존재하면 λ 가 ‘compatible’ 하면 자동으로 리프팅이 가능함을 보이며, 이는 Proposition 5.2와 Theorem 5.4, 5.8 에서 구체화된다. 6. ‘Mixed entwining and liftings’ 섹션에서는 두 개의 약한 (공)모나드 (F, G) 사이의 혼합 엔트와인 구조를 다룬다. 여기서도 정규성 및 호환성 조건이 핵심이며, 이를 통해 복합적인 리프팅 결과를 얻는다. 7. 마지막 섹션에서는 약한 모나드와 코모나드가 서로를 ‘lift’ 하는 상황을 심도 있게 분석한다. G 를 A_F (F‑module) 위로 리프팅하고, F 를 A_G (G‑코모듈) 위로 리프팅하는 두 경우에 대해 각각 Theorem 7.9와 7.10 을 증명한다. 이 결과는 약한 바이알제브라와 약한 Hopf 알제브라의 구조적 특성을 범주론적으로 일반화한 것으로, 기존 문헌에 있는 여러 예시들을 통합한다. 전체적으로 논문은 ‘regular pairing’이라는 새로운 관점을 도입함으로써, 약한 (공)모나드와 그 (co)모듈 이론을 기존의 adjunction‑monad correspondence 와 연결시킨다. 정규성 조건은 단위·counit 의 존재를 완화하면서도, 모나드·코모나드의 핵심 연산(곱·코곱, 단위·counit)과 (co)모듈 구조 사이의 상호작용을 보존한다. 이론적 결과는 다양한 약한 대수 구조(약한 Hopf 알제브라, 약한 엔트와인 등)에 적용 가능함을 시사한다.