[论文解读] Categorical Probability Theory

Kirk Sturtz|arXiv (Cornell University)|Jun 23, 2014

Logic, Reasoning, and Knowledge参考文献 5被引用 5

一句话总结

本文通过证明概率测度的Giry函子——表示概率测度——自然地作为可测空间上双重对偶化函子的子函子而出现，该函子由弱平均、仿射且保持极限的函数泛构成，从而为概率论建立了范畴论基础。关键结果是，该子函子同构于Giry函子，并且是凸空间到可测空间的函子的余密度函子。

ABSTRACT

We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability measures on a space are the elements of a submonad of a double dualization monad on the category of measurable spaces into the unit interval, and this monad is naturally isomorphic to the Giry monad. We show this submonad is the codensity monad of a functor from the category of convex spaces to the category of measurable spaces. A theorem proving the integral operator acting on the space of measurable functions and the space of probability measures on the domain space of those functions is given using the strong monad structure of the Giry monad.

研究动机与目标

• 通过可测空间背景下函数泛的性质，对概率测度进行范畴论表征。
• 证明Giry函子作为可测空间上双重对偶化函子的子函子而出现。
• 将Giry函子确立为从凸空间到可测空间的函子的余密度函子。
• 通过强函子结构和积分算子，统一范畴论与测度论视角下的概率论。

提出的方法

• 通过函数泛 G: I^X → I 的弱平均性、仿射性及极限保持性，定义双重对偶化函子 Meas(I^•, I) 的子函子 𝒫。
• 证明 𝒫(X) 的元素恰好对应于 X 上的概率测度，其中函数泛 G 将 f 映射为 ∫f dP。
• 利用Giry函子的强函子结构，证明积分算子 (P, f) ↦ ∫f dP 是可测的。
• 构造一个函子 ι: Cvx → Meas，将凸空间嵌入可测空间，并证明 ι 沿自身右凯南扩张（right Kan extension）给出函子 𝒫。
• 通过验证普遍锥性质和余单位 ε 的自然性，证明函子 𝒫 与Giry函子 𝒢 自然同构。
• 利用 Meas 的对称张量闭范畴（SMCC）结构，建立积分对应关系的可测性与自然性。

实验结果

研究问题

• RQ1 概率测度如何通过可测空间上的函数泛进行范畴论表征？
• RQ2 哪些函数泛性质（弱平均、仿射、保持极限）是将Giry函子表征为双重对偶化函子子函子的必要且充分条件？
• RQ3 Giry函子是否同构于从凸空间到可测空间的函子的余密度函子？
• RQ4 能否利用 Meas 中的强函子结构证明积分算子 ∫f dP 是可测的？
• RQ5 Giry函子与双重对偶化函子之间通过单位区间的范畴关系是什么？

主要发现

• Giry函子自然同构于双重对偶化函子 Meas(I^•, I) 的子函子 𝒫，其中 𝒫(X) 由弱平均、仿射且保持极限的函数泛 G: I^X → I 构成。
• 函子 𝒫 是函子 ι: Cvx → Meas 的余密度函子，该函子通过单位区间将凸空间嵌入可测空间。
• 积分算子 (P, f) ↦ ∫f dP 是可测的，从而确立了Giry函子在可测空间范畴中的强函子结构。
• 概率测度 P 与函数泛 f ↦ ∫f dP 之间的对应关系是自然同构，确认了Giry函子与子函子 𝒫 的范畴等价性。
• 对 ι∘Q 的普遍锥构造确保函子 𝒫 是函子的，并与Giry函子的推送映射一致。
• 余单位 ε 的自然性通过评估映射与凸态射的复合得到证明，从而确认了余密度函子结构。