具有 Kolmogorov 乘积的因果马尔可夫范畴

本文解决了先前研究（Fritz & Rischel）中提出的一个问题，即构建具有特定性质的马尔可夫范畴：因果性和 Kolmogorov 乘积的存在。作者提供了一个例子，其中确定性子范畴是 Stone 空间的范畴，并且核与 Radon monad 的 Kleisli 箭头相关。这有助于理解范畴概率，并提供了一个满足所需性质的具体例子。

• •提供了一个具有 Kolmogorov 乘积的因果马尔可夫范畴的具体例子。
• •确定性子范畴是 Stone 空间的范畴。
• •核与 Radon monad 的 Kleisli 箭头相关。
• •从两个角度探讨了这个问题：pro-completions/Stone 空间以及与布尔代数/效应代数的对偶性。