범주 위의 바이모넹과 홉 모나드

본 논문은 ‘바이모넹(bimonad)’과 ‘Hopf 모나드’를 임의의 범주 𝔄 위에서 정의하고, 전통적인 Hopf 대수 이론을 범주론적으로 일반화한다. 서두에서는 모나드와 코모나드가 각각 대수와 코알제브라 구조를 제공한다는 점을 상기하고, 이 두 구조를 연결하는 엔트와인(분배법칙) λ의 필요성을 강조한다. 기존 연구에서는 모노이달 구조가 필수였지만, 저자는 𝔄 자체에 모노이달 구조를 요구하지 않고, 대신 엔드펑터 범주 End(𝔄) 의 합성(곱)이라는 자연스러운 모노이달 구조를 활용한다. 2장에서는 베크(Bek)와 바르(Bar) 등 고전적인 분배법칙 이론을 정리하고, 엔트와인 λ:TG→GT(또는 GT→TG)의 정의와 그에 따른 모나드·코모나드의 ‘리프팅(lifting)’을 설명한다. 특히 λ가 존재하면 코모나드 G는 T‑모듈 범주 A^T 위에 코모나드로, 반대로 T는 G‑코모듈 범주 A_G 위에 모나드로 승격된다. 이러한 승격은 (A_G)^T(λ) ≅ (A^T)^G(λ) 라는 동형을 제공한다. 3장에서는 ‘T‑액션’과 ‘G‑코액션’이라는 관점에서 펑터에 대한 모듈·코모듈 구조를 정의하고, Galois 펑터 개념을 도입한다. 여기서는 오른쪽 어드조인트를 갖는 펑터 F와 그 어드조인트 R 사이의 관계를 이용해, 코모나드 G′=F R 로부터 G 로의 코모나드 사상 t_F가 동형이면 F를 G‑Galois라 정의한다. 이는 전통적인 Galois 이론과 유사하게, 코모나드와 모나드 사이의 ‘정밀한 일치’를 의미한다. 4장에서는 바이모넹을 정식으로 정의한다. B는 엔드펑터이며 (B,m,e)는 모나드, (B,δ,ε)는 코모나드이며, 엔트와인 λ:BB→BB가 네 개의 교환 사각형을 만족한다. 이 구조를 가진 B에 대해 혼합 양측 모듈(바이모듈) 범주 𝔄ᴮᴮ를 정의하고, 비교 사상 K_B:𝔄→𝔄ᴮᴮ를 구축한다. 5장에서는 안티포드 S:B→B를 정의한다. S는 m∘S B∘δ = e∘ε = m∘B S∘δ 를 만족하는 자연 변환이며, γ:=B m∘δ B 가 동형이면 S가 존재하고, 반대로 S가 존재하면 γ가 동형이다. 더 나아가 𝔄가 한계·공한계를 가지고 B가 이를 보존할 경우, γ가 동형 ⇔ K_B가 범주 동형이라는 ‘기본 정리’를 증명한다. 이는 전통적인 Hopf 대수의 Fundamental Theorem을 범주론적 맥락으로 확장한 결과이다. 6장에서는 로컬 프리브레이딩 τ:BB→BB를 도입한다. τ는 Yang‑Baxter 방정식을 만족하는 ‘전역 교환법칙’이며, 이를 통해 λ를 τ와 모나드·코모나드 구조로부터 유도한다. τ가 존재하면 B는 ‘브레이디드 바이모넹’이 되고, τ²=1 일 때는 반대 바이모넹을 정의할 수 있다. 또한 B∘B 역시 바이모넹이며, τ가 존재하면 B∘B에 대한 구조도 자연스럽게 유도된다. 7장에서는 B가 오른쪽 어드조인트 R을 가질 때, R 역시 바이모넹이며, B와 R이 동시에 안티포드 혹은 로컬 프리브레이딩을 가질 경우 서로 동치임을 보인다. 이를 통해 유한 차원 k‑벡터공간 H에 대해 H가 Hopf 대수 ⇔ Hom_k(H,−)가 Hopf 모나드임을 재현하고, 일반적인 집합 G에 대해서는 Map(G,−)가 Hopf 모나드 ⇔ G가 군임을 얻는다. 이러한 대칭성은 텐서곱에 의존하지 않는 Hopf 구조의 풍부한 공급원을 제공한다. 마지막으로 저자는 이론이 기존의 모노이달 카테고리 기반 Hopf 모나드 연구와 어떻게 연결되는지를 논의하고, 향후 연구 방향으로 (i) 더 일반적인 엔트와인 구조의 분류, (ii) 비대칭적 어드조인트 쌍에 대한 Hopf 구조, (iii) 컴퓨터 과학에서의 Galois 펑터 응용 등을 제시한다. 전체적으로 논문은 모나드·코모나드 이론, 분배법칙, 그리고 Hopf 대수의 핵심 개념을 범주론적 수준에서 통합함으로써, 기존 이론의 한계를 넘어서는 새로운 프레임워크를 제공한다.