Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes
Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes
复制标题
柯尔莫哥洛夫扩展、鞅收敛和过程的组合性
DOI：
10.1145/2933575.2933610
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
D. Kozen
中科院分区：
文献类型：
--
作者：
D. Kozen
我们证明了Kolmogorov可拓定理和Doob鞅收敛定理是Radon空间和可逆马尔可夫核范畴中的类限构造这一共同推广的两个方面。该构造为概率编程语言中的无损迭代提供了组合指称语义，即使在没有自然偏序的情况下也是如此。
We show that the Kolmogorov extension theorem and the Doob martingale convergence theorem are two aspects of a common generalization, namely a colimit-like construction in a category of Radon spaces and reversible Markov kernels. The construction provides a compositional denotational semantics for lossless iteration in probabilistic programming languages, even in the absence of a natural partial order.