[论文解读] Monads and extensive quantities

Anders Kock|arXiv (Cornell University)|Mar 30, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 13

一句话总结

本文建立了一个范畴框架，将笛卡儿闭范畴上的交换单子与广延量和内延量联系起来，通过一个典范单子映射推广了施瓦茨分布。它引入了一个自然的 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 的典范单子映射，从而将分布建模为具体对象。
• 将概率分布表征为交换单子 T 的仿射子单子 T₀ ⊆ T，其中总质量为 1，并证明其在边缘化与卷积下的稳定性。
• 通过单子乘法与标量逆元，提供条件概率的范畴基础。

提出的方法

• 使用笛卡儿闭范畴 E 上的强单子来建模广延量，其中 T(X) 表示空间 X 上的分布。
• 利用单子的强度，构造一个 T-双线性配对 T(X) × T(1)^X → T(1)，解释为积分。
• 定义一个 T-双线性作用 T(X) × T(1)^X → T(X)，用于建模检验函数对分布的作用。
• 通过条件 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-双线性配对 T(X) × T(1)^X → T(1)，将积分解释为单子态射。
• 定义了一个 T-双线性作用 T(X) × T(1)^X → T(X)，用于建模检验函数对分布的作用。
• 将仿射子单子 T₀ ⊆ T 表征为满足 T₀(1) = 1 的最大子单子，对应于概率分布。
• 包含关系 T₀ ⊆ T 与乘法结构 ψ 兼容，确保联合分布的边缘分布可重构原始分布。
• 条件概率被恢复为 Pϕ := (P ⊢ ϕ) · λ⁻¹，其中 λ = ∫ϕ dP，当 ϕ 为特征函数时，得到经典公式 P(B|A) = P(A ∩ B)/P(A)。
• 该框架通过显示单子分布通过到双重对偶化单子 S 的典范映射，推广了施瓦茨的格言，即单子分布可建模物理分布。