一句话：为概率单子引入sober对象与sobrification函子，并强化Markov范畴的de Finetti定理
论文从合成视角把概率论视为交换单子所刻画的计算效应，并在 Markov 范畴中通过复制与丢弃操作等式地定义确定性态射。由此产生“纯态射”与“确定性态射”的区分：论文研究概率单子的 sober 对象，即二者重合的对象。作者提出概率单子应满足的自然条件，用于识别 sober 对象并构造幂等的 sobrification 函子。该框架适用于诸多实例，包括可测空间上的 Giry 单子，并据此加强先前针对 Markov 范畴给出的 de Finetti 定理版本。
Probability theory can be studied synthetically as the computational effect embodied by a commutative monad. In the recently proposed Markov categories, one works with an abstraction of the Kleisli category and then defines deterministic morphisms equationally in terms of copying and discarding. The resulting difference between ‘pure’ and ‘deterministic’ leads us to investigate the ‘sober’ objects for a probability monad, for which the two concepts coincide. We propose natural conditions on a probability monad which allow us to identify the sober objects and define an idempotent sobrification functor. Our framework applies to many examples of interest, including the Giry monad on measurable spaces, and allows us to sharpen a previously given version of de Finetti’s theorem for Markov categories.