양자론적 범주에서 대칭과 코시 완성

초록

본 논문은 자가반전 구조를 가진 양자론(quantaloid) Q에 대해, Q‑풍부 범주의 대칭화(comonad)와 코시 완성(monad) 사이에 분배법칙이 존재하도록 하는 충분조건을 제시한다. 이러한 조건을 만족하는 양자론을 ‘코시‑양면(Cauchy‑bilateral)’이라고 명명하고, 이 경우 대칭인 Q‑풍부 범주의 코시 완성 역시 대칭성을 유지함을 증명한다. 대표적인 예로 비음수 실수의 로와이어 양자레(ℝ≥0∪{∞})와 Walters가 제시한 폐쇄 크리블(closed crible) 소양자론이 있다.

상세 분석

논문은 먼저 양자론 Q가 자가반전(involutive) 구조, 즉 각 사상 f에 대해 f⁎라는 반전 사상이 존재하고 (f⁎)⁎=f이며 사상 합성과 교환되는 성질을 가짐을 전제한다. Q‑풍부 범주 C는 객체들의 호모셈(동형) 사상이 Q의 원소로 표현되는 구조이며, 대칭성은 각 호모셈 a→b와 b→a가 서로 반전 관계에 있음을 의미한다. 대칭화는 임의의 Q‑풍부 범주 C에 대해 각 호모셈을 f∧f⁎의 합으로 교체하는 코모나드 S를 정의한다. 반면 코시 완성은 C의 모든 가중된 한계와 콜라임을 추가해 완전한 풍부 범주 Ĉ를 얻는 모나드 Ĉ이다.

핵심은 두 변환 S와 Ĉ 사이에 ‘분배법칙’ λ: Ĉ ∘ S ⇒ S ∘ Ĉ 가 존재하는가이다. 저자는 Q가 다음의 ‘코시‑양면’ 조건을 만족하면 λ가 자연스럽게 정의된다고 보인다. 첫째, Q의 반전 연산이 모든 합에 대해 분배되고, 둘째, 임의의 사상 f,g에 대해 (f⊗g)⁎ = g⁎⊗f⁎가 성립한다. 셋째, Q가 코시 완성에 대해 닫힌 구조, 즉 모든 정규화된 가중치가 존재하고 합이 보존되는 완비 격자(lattice)임을 요구한다. 이러한 조건 하에서, 대칭화된 범주의 코시 완성은 자동으로 대칭성을 유지한다는 것이 주요 정리이다.

증명은 먼저 S와 Ĉ가 각각 코모나드·모나드의 삼각법을 만족함을 확인하고, λ가 정의된 뒤 두 변환을 교환하는 일련의 교환 사상들이 모두 Q의 반전과 텐서곱의 결합법칙에 의해 일관됨을 보인다. 특히, λ는 객체 수준에서는 동일 객체를 보내고, 사상 수준에서는 f↦(∑ᵢ αᵢ⊗fᵢ)⁎와 같은 형태로 전환된다. 이때 각 αᵢ는 코시 완성 과정에서 도입되는 가중치이며, 반전 연산이 가중치와 텐서곱에 대해 보존되는 것이 핵심이다.

예시로 로와이어 양자레(