강화된 로우베르 이론과 강하게 유한(κ ary) 모나드의 동등성

초록

이 논문은 대칭 모노이달 폐쇄 범주 V가 충분히 좋은 성질(지역 λ-표현성, 지역 μ-생성, 단위 객체 I가 생성자, 그리고 (Surj, Inj) 인자화 시스템)을 가질 때, 강하게 μ-ary인 V-모나드가 정확히 μ-ary 이산 로우베르 이론에 의해 주어짐을 증명한다. 또한, 이산 로우베르 이론으로부터 유도된 모든 모나드는 사상 f가 V(I,f)에서 전사인 경우를 보존한다는 사실을 보인다.

상세 분석

본 연구는 기존의 로우베르 이론과 모나드 사이의 대응 관계를 강화된(enriched) 설정으로 확장한다. 먼저 V를 대칭 모노이달 폐쇄 범주라 가정하고, V⁰가 지역 λ‑표현가능하며 I가 생성자라는 전제 하에, λ‑표현가능 객체들의 집합 D_λ가 V 안에서 조밀(dense)함을 이용한다. 이때 D_λ는 “이산” 객체, 즉 I의 복제 X·I 형태로 나타나는 객체들의 전형적인 예시가 된다. 저자는 강하게 μ‑ary인 V‑함수 H를 K:D_μ→V의 제한에 대한 왼 Kan 확장 Lan_K H K 로 정의하고, 이러한 함수들이 μ‑directed colimit을 보존함을 Kelly‑Lack 이론을 통해 확인한다.

주요 정리 3.1은 “강하게 μ‑ary인 V‑모나드 ↔ μ‑ary 이산 로우베르 이론”이라는 동등성을 제시한다. 증명은 먼저 강하게 μ‑ary인 모나드 T가 λ‑directed colimit을 보존함을 보이고, 이를 통해 T가 λ‑ary V‑이론 T̂와 동등함을 이용한다. 이후 T가 사상 f: X→Y가 surjection인 경우에도 T f가 surjection임을 보이기 위해, X와 Y를 μ‑표현가능 이산 객체들의 가중(colimit) 표현으로 전개하고, T가 이러한 가중을 보존한다는 사실을 활용한다. 특히, ˜K(f) 가 점별 전사임을 보인 뒤, LW의 이중성 이론을 적용해 T f 역시 전사임을 얻는다.

다음 단계에서는 T의 제한 T_d를 D_λ 위에 정의하고, 자유 대수함수와 그 제한 사이의 동형 사상 R을 구성한다. R이 전단사(embedding)이며, 객체와 사상 수준에서 전사·전단사임을 보임으로써 R이 동형임을 증명한다. 이 과정에서 δ_V: V⁰→V 가 전사임을 이용하고, I가 생성자라는 가정으로 인해 δ_V가 에피모르피즘임을 활용한다.

정리 4.2와 그 여파인 Corollary 4.3은 “이산 로우베르 이론이 생성하는 모나드는 항상 surjection을 보존한다”는 사실을 일반화한다. 여기서는 자유 V‑모나드가 강하게 μ‑ary임을 보이는 Proposition 4.1을 이용하고, 구조적 반사(reflection) ρ_A 가 강한 에피모르피즘이며 전사임을 이용해 전체 모나드가 전사를 보존함을 결론짓는다.

논문은 또한 Pos, Met, ω‑CPO 등 구체적인 예시를 들어 가정이 실제 범주에 어떻게 적용되는지를 설명한다. 특히 Met(거리 공간)에서는 강하게 유한(ℵ₀‑ary) 모나드가 이산 유한 로우베르 이론에 의해 기술된다는 기존 결과(Adámek‑Dostal‑Velebil)를 재현하면서, 반대 방향(이산 로우베르 이론이 강하게 유한 모나드가 되는가?)은 아직 미해결임을 명시한다.

전체적으로 이 연구는 강화된 범주론적 환경에서 “이산 arities”가 갖는 대수적 의미를 명확히 하고, 모나드가 보존해야 할 구조(특히 surjection)와 이산 로우베르 이론 사이의 정확한 대응 관계를 제시함으로써, 향후 양적 논리, 메트릭 대수, 순서 대수 등 다양한 응용 분야에서 이론적 기반을 제공한다.