[논문 리뷰] Monads and extensive quantities

Anders Kock|arXiv (Cornell University)|2011. 03. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 13

한 줄 요약

이 논문은 카르테시안 닫힘 범주 위의 가환 모나드와 광범위한 양(extensive quantities) 및 강도적 양(intensive quantities)을 연결하는 범주론적 프레임워크를 수립하며, 표준 모나드 사상에 의해 슈바르츠 분포를 일반화한다. 자연스러운 T-이중선형 쌍대성과 작용을 도입하여, 구체적 분포(T(X))와 시험 함수(T(1)^X)가 쌍대성 체계를 이룬다는 것을 보이며, 총 질량이 1인 확률 분포가 T₀로 나타나는 애파프 애프린지 부분 모나드임을 보인다.

ABSTRACT

If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space of these functions. These data together make the endofunctors T and "functions into T(1)" into a system of extensive/intensive quantities, in the sense of Lawvere. A natural monad map from T to a certain monad of distributions (in the sense of functional analysis (Schwartz)) arises from this integration.

연구 동기 및 목표

• 카르테시안 닫힘 범주 위의 가환 모나드를 사용하여 광범위한 양(분포)과 강도적 양(시험 함수) 간의 이중성을 수학적으로 형식화한다.
• 기능 해석학에서의 적분과 분포의 개념을 모나드적 구조에 통합함으로써 일반화한다.
• 가환 모나드 T에서 슈바르츠 유형의 이중이중화 모나드 S로의 표준 모나드 사상 S를 수립함으로써, 분포를 구체적인 대상으로 모델링한다.
• 총 질량이 1인 조건을 만족하는 T₀ ⊆ T로써 확률 분포를 특성화하며, 이가 근원 분포의 조건부 분포 및 컨볼루션에 대해 안정적임을 보인다.
• 모나드 곱셈과 스칼라 역행을 통해 조건부 확률에 대한 범주론적 기반을 제공한다.

제안 방법

• 카르테시안 닫힘 범주 E 위의 강력한 모나드를 사용하여 광범위한 양을 모델링하며, T(X)는 공간 X 위의 분포를 나타낸다.
• 모나드의 강도를 이용하여 T(X) × T(1)^X → T(1)로의 T-이중선형 쌍대성을 구성함으로써 적분을 해석한다.
• T(X) × T(1)^X → T(X)로의 T-이중선형 작용을 정의하여, 시험 함수가 분포에 작용하는 방식을 모델링한다.
• T₀(1) = 1 조건을 통해 가환 모나드 T의 애파프 부분 T₀를 식별하며, T₀(X)는 총 질량이 1인 분포로 구성된다.
• 모나드 곱셈과 스칼라 역행을 사용하여 조건부 확률을 Pϕ := (P ⊢ ϕ) · λ⁻¹로 유도하며, 여기서 λ = ∫ϕ dP 이다.
• 시험 함수를 지수 대상 X ↠ T(1)로 모델링하며, 특성 함수는 가측 부분집합 또는 사건을 나타낸다.

실험 결과

연구 질문

• RQ1 광범위한 양(예: 분포)을 카르테시안 닫힘 범주 위의 가환 모나드를 통해 체계적으로 어떻게 모델링할 수 있는가?
• RQ2 분포(광범위한 양)와 시험 함수(강도적 양) 간의 이중성에 기반하는 범주론적 구조는 무엇인가?
• RQ3 T에서 슈바르츠 유형 모나드 S로의 표준 모나드 사상이 고전적 분포 이론을 어떻게 일반화하는가?
• RQ4 확률 분포가 가환 모나드 T의 부분 모나드 T₀로 자연스럽게 나타나는 이유는 무엇이며, 이는 총 질량 1과 어떻게 관련되는가?
• RQ5 모나드 곱셈과 스칼라 역행을 통해 조건부 확률을 어떻게 범주론적으로 유도할 수 있는가?

주요 결과

• T(X) × T(1)^X → T(1)로의 자연스러운 T-이중선형 쌍대성이 구성되었으며, 이는 적분을 모나드 사상으로 해석한다.
• T(X) × T(1)^X → T(X)로의 T-이중선형 작용이 정의되었으며, 이는 시험 함수가 분포에 작용하는 방식을 모델링한다.
• T₀ ⊆ T는 T₀(1) = 1 조건을 만족하는 최대 부분 모나드로 특성화되며, 이는 확률 분포에 해당한다.
• T₀ ⊆ T 포함관계는 ψ로 표시되는 모노이드 구조와 호환되며, 이는 연합 분포의 조건부 분포가 원래 분포를 재구성함을 보장한다.
• 조건부 확률은 Pϕ := (P ⊢ ϕ) · λ⁻¹로 복원되며, 여기서 λ = ∫ϕ dP 이다. 이때 ϕ가 특성 함수이면 고전적 공식 P(B|A) = P(A ∩ B)/P(A)를 유도한다.
• 이 프레임워크는 모나드적 분포가 표준 사상에 의해 이중이중화 모나드 S로의 사상으로써 물리적 분포를 모델링함으로써 슈바르츠의 명제를 일반화한다.