모나드와 광범위 양량의 통합 이론

초록

이 논문은 카테시안 닫힌 범주 위의 가환 강(monad) T에 대해, T‑양선형 적분 연산과 함수 작용을 자연스럽게 구성함으로써 T와 T(1)‑값 함수들의 쌍을 Lawvere가 제시한 “광범위/집중 양량” 체계로 만든다. 이를 통해 T를 Schwartz식 분포 모나드와 연결하는 자연스러운 모나드 사상이 도출된다.

상세 분석

논문은 먼저 강(monad) T가 카테시안 닫힌 범주 E에서 “강(strong)” 구조를 가질 때, 텐서 강 t′와 코텐서 강 λ를 통해 T의 작용을 명시적으로 기술한다. 특히 t′{X,Y}:T(X)×Y→T(X×Y) 와 λ{X,Y}:T(X⇒Y)→X⇒T(Y) 는 각각 “삽입”과 “평가”를 일반화한 연산으로, 이들 사이의 교환 법칙과 결합 법칙을 상세히 전개한다.

핵심은 B∈E와 T‑대수 구조 β:T(B)→B 를 고정하고,
R_{X,B}(φ,P)=β(T(φ)(P))
라는 “적분” 연산을 정의하는 것이다. 여기서 φ:X⇒B 는 B‑값 함수이고 P∈T(X) 는 X‑위의 “구체적 분포”이다. 이 연산은 T‑양선형이며, B=T(1)인 경우에는 총량을 취하는 전형적인 적분 형태가 된다.

논문은 강의 가환성(ψ=˜ψ)이 성립하면 μ가 단일자(monidal) 변환이 되어 T가 모노이드 모나드가 됨을 보이며, 이때 ψ_{X,Y} 는 텐서곱 분포의 “곱” 연산으로 해석된다. 가환 모나드의 경우, β가 단위와 결합법을 만족하므로 R_{X,B} 는 기대값 연산으로도 읽힌다.

또한, 강 사이의 자연 변환 τ:T⇒S 가 “강”일 조건을 제시하고, 이를 통해 T를 Schwartz식 이중대칭 모나드 S와 연결한다. 이 변환은 적분 연산을 보존하면서 T‑양선형 구조를 S‑양선형 구조로 전달한다.

마지막으로, Lawvere가 제안한 “광범위(Extensive)와 집중(Intensive) 양량” 체계와의 연관성을 논의한다. T는 공변적인 광범위 양량을, T(1)‑값 함수들은 반변(contravariant)적인 집중 양량을 나타내며, 두 구조 사이의 쌍대성은 적분·작용 쌍을 통해 구체화된다. 이는 전통적인 함수해석학적 분포 이론을 범주론적 모나드 이론으로 일반화한 중요한 사례라 할 수 있다.