이중 적합과 모리타 컨텍스트의 베크 정리

본 논문은 ‘모리타 컨텍스트’를 새로운 범주론적 구조로 도입하고, 이를 통해 이중 적합(double adjunction)과의 정확한 대응 관계를 구축한다. 먼저, 기존의 단일 adjunction ↔ monad/comonad 대응을 복습하고, 두 개의 좌우 adjoint가 같은 우측(공통) 범주를 공유하는 상황을 ‘double adjunction’이라 정의한다. 카테고리 Adj(X,Y) 의 객체는 (Z, (L_A ⊣ R_A), (L_B ⊣ R_B)) 형태의 5‑튜플이며, 사상은 오른쪽 adjoint들을 보존하는 functor 로 정의된다. 다음으로, 모리타 컨텍스트를 (A, B, T, \bar T, ev, \bar ev) 로 정의한다. 여기서 A와 B는 각각 X와 Y 위의 모나드이며, T: Y→X 와 \bar T: X→Y 는 A‑B, B‑A 바이알제브라 함자이다. ev와 \bar ev는 각각 A‑A, B‑B 바이알제브라 사상으로, 이들은 ‘균형’ 조건을 만족한다. 이 정의는 전통적인 링 이론의 모리타 컨텍스트를 범주론적으로 재현한다는 점에서 중요한 의미를 가진다. 핵심 결과는 두 함자 사이의 변환 Υ: Adj(X,Y) → Mor(X,Y) 와 그 역변환 Γ: Mor(X,Y) → Adj(X,Y) 를 구축한 것이다. Υ는 각 adjunction에서 유도된 모나드 A=R_A L_A, B=R_B L_B 와 T=R_A L_B, \bar T=R_B L_A 를 취하고, ev, \bar ev 를 counit의 조합으로 정의한다. 반대로 Γ는 주어진 모리타 컨텍스트에 대해 Eilenberg‑Moore 범주 (X,Y)_T 를 만들고, (X,Y)_T ↔ X, (Y)_T ↔ Y 사이에 두 adjunction을 구성한다. (X,Y)_T 의 객체는 (X‑algebra, Y‑algebra, v, w) 로, v와 w 가 T와 \bar T 로 연결된 구조를 만족한다. 이 두 변환은 adjoint 관계를 이루며, Γ는 전적으로 faithful 하고, 그 counit은 비교 사상 K: Z → (X,Y)_T 로 정의된다. 논문은 K 가 동등함이 되기 위한 충분·필요 조건을 제시한다. 이 조건은 Z 안에서 특정 형태의 다이어그램(colimit) 가 존재하고, 그 colimit 이 Υ에 의해 보존되는지를 요구한다. 이는 전통적인 베크 정리에서 ‘R이 보존하는 특정한 절대적 coequalizer’ 조건과 직접적인 유사성을 가진다. 따라서 논문은 베크‑유형 정리를 ‘두 차원’으로 확장하여, 모리타 컨텍스트가 주는 대등성(equivalence)과 모리타 가능성(moritability)을 정확히 판정한다. 섹션 4에서는 모리타 컨텍스트가 실제로 모나드 알제브라 범주의 동등성을 유도하는 경우를 분석한다. 특히, A‑B 바이알제브라 T 가 ‘보존하는 coequalizer’ 를 만족하면, (X)_A 와 (Y)_B 사이에 Morita equivalence 가 성립한다는 정리를 증명한다. 이는 고전적인 링 이론의 ‘모리타 정리’를 범주론적 관점에서 재해석한 결과이며, 예시로 행렬 모리타 링, 이진 합동, 그리고 프리‑토르소와 헤드 구조 사이의 관계를 제시한다. 마지막으로, 논문은 이론을 다양한 사례에 적용한다. 단일 adjunction 의 경우, 모리타 컨텍스트가 ‘행렬 모리타 링’으로 귀결됨을 보이며, 이때 Eilenberg‑Moore 범주는 전통적인 모듈 범주와 일치한다. 또한, 이진 합동이 존재하는 카테고리에서는 복합적인 ‘이중 적합’ 구조가 자연스럽게 형성되고, 프리‑토르소와 헤드 사이의 비교가 가능함을 보여준다. 마지막으로, 이론의 듀얼화와 bicategory 로의 일반화 가능성을 논의하며, 향후 연구 방향을 제시한다. 전체적으로 이 논문은 모리타 컨텍스트와 이중 적합 사이의 깊은 상호작용을 밝히고, 베크‑유형 정리를 두 모나드가 얽힌 상황으로 일반화함으로써 범주론적 모리타 이론의 토대를 확립한다.