함수쌍의 합리성: 모나드·코모나드 사이의 일반화된 유리함수

본 논문은 코알gebra C와 그 대수 C* 사이의 전통적인 평가 사상 ev: C*⊗_R C→R이 제공하는 ‘합리적(rational) 함수’를 범주론적 일반화의 관점에서 재조명한다. 저자는 먼저 임의의 범주 A에서 두 엔도펑터 T와 G 사이에 자연스러운 사상 β₍ₐ,ᵦ₎: A(a, G(b)) → A(T(a), b)를 정의하고, 이를 ‘쌍(pairing)’이라 명명한다. 이 β는 a와 b에 대해 전사적이거나 전단사적일 필요는 없으며, 오직 모든 경우에 단사이면 ‘합리적 쌍’이라고 부른다. 이는 기존 코알gebra 이론에서 C가 A‑모듈 상에서 국소적으로 사영(proj)인 경우와 동치임을 보이며, 따라서 기존 결과와 완벽히 일치한다. 다음 단계에서는 T와 G가 각각 모나드와 코모나드 구조를 갖는 경우를 다룬다. 모나드 T=(T,m_T,e_T)와 코모나드 G=(G,δ_G,ε_G)가 주어지면, β는 (3.1)·(3.2)에 제시된 일련의 교환 사각형을 만족해야 한다. 이 교환 사각형은 β와 모나드·코모나드 연산 사이의 호환성을 보장하며, 특히 σ: T G→Id_A 라는 자연 변환이 존재함을 요구한다. σ는 ‘코유닛’ 역할을 하며, β와 σ 사이의 관계는 β(f)=σ_b∘T(f) 로 정의된다. 이러한 구조적 제약 하에, β가 합리적이면 Φ_P: A_G→A_T 라는 전이 함숫값을 정의할 수 있다. Φ_P는 G‑코모듈 (a,θ)를 T‑모듈 (a,σ_a∘T(θ)) 로 변환하며, 이는 전사적이면서 보존적인(보존적) 함숫값이다. 특히 β가 단사이면 Φ_P는 전사적이며, 그 이미지와 동형인 ‘합리적 T‑모듈’을 정확히 포착한다. 핵심적인 결과는 T가 오른쪽 adjoint 모나드 T⋄를 가질 때 도출된다. T⋄가 존재하면, T‑모듈 범주 A_T 위에 아이디포텐트 코모나드 H_T를 구성할 수 있다. H_T는 T‑모듈 (M, h)를 (M, h′) 로 변환하는데, 여기서 h′는 β와 T⋄의 구조를 이용해 정의된다. H_T의 펑터 부분을 Rat_P라 두고, 이를 ‘합리적 함수’라 부른다. Rat_P는 A_T의 객체를 ‘합리적 T‑모듈’으로 보내며, 이러한 모듈들은 정확히 Φ_P의 이미지와 일치한다. 또한 Rat_P는 아이디포텐트이므로 고정점(즉, Rat_P‑알게 되는 객체)들은 반사적 서브카테고리를 형성한다. 이는 기존 코알gebra 이론에서 ‘유리(comodule)’ 부분에 해당한다. 논문은 이러한 일반 이론을 단일체(monidal) 범주에 적용한다. 텐서곱 ⊗와 단위 객체 I를 가진 범주 V에서, T와 G를 텐서곱과 연관된 엔도펑터로 잡고, β가 텐서 구조와도 호환되도록 정의한다. 특히 얽힘 구조(entwining) (A, C, λ) 를 고려하면, λ: A⊗C→C⊗A 라는 자연 변환이 T와 G 사이에 합리적 쌍을 만들 수 있는 충분조건이 된다. λ가 ‘대표가능(representable)’하면, 어떤 객체 E∈V가 존재해 V(−,E)≅V(−⊗C,A) 가 된다. 이때 E는 대수 구조를 갖게 되고, E‑모듈 범주와 얽힘 모듈 범주 사이에 전이 함숫값이 형성된다. 저자는 이 전이 함숫값이 기존의 얽힌 모듈 이론을 일반화한 것임을 보이며, 특히 텐서곱이 오른쪽 adjoint를 가질 때 합리적 쌍과 Rat_P가 존재함을 증명한다. 마지막으로, 저자는 여러 예시와 보조 정리를 통해 이론의 적용 범위를 넓힌다. 예를 들어, A‑바이모듈 C가 국소적으로 사영이면 β가 합리적이며, 이 경우 Rat_P는 전통적인 ‘유리 코모듈’ 함숫값과 동형이다. 또한, 아이디포텐트 코모나드의 일반적 성질을 이용해 Rat_P가 보존하는 한계(colimit)와 반사성(reflectivity)을 논한다. 전체적으로 논문은 ‘쌍(pairing)’이라는 개념을 함수 수준으로 끌어올리고, 그 합리성 조건을 통해 모나드·코모나드 사이에 아이디포텐트 코모나드를 구축함으로써, 기존 코알gebra‑알gebra 이론을 범주론 전반에 일반화한다. 이는 특히 텐서 구조와 얽힘 구조를 다루는 현대 수학·이론물리학에서 새로운 도구로 활용될 가능성을 제시한다.