加载中…
In Fritz & Rischel, Infinite products and zero-one laws in categorical probability, the problem was posed of finding an interesting Markov category which is causal and has all (small) Kolmogorov products (there Problem 6.7). Here we give an example where the deterministic subcategory is the category of Stone spaces (i.e. the dual of the category of Boolean algebras) and the kernels correspond to a restricted class of Kleisli arrows for the Radon monad. We look at this from two perspectives. First via pro-completions and Stone spaces directly. Second via duality with Boolean and algebras and effect algebras.

生成讲解博客的中文版本

生成AI智能校验的中文版本