ﻻ يوجد ملخص باللغة العربية
We present a novel proof of de Finettis Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The proof is phrased in the language of Markov categories, which provide an abstract categorical framework for probability and information flow. The diagrammatic and abstract nature of the arguments makes the proof intuitive and easy to follow. We also show how the usual measure-theoretic version of de Finettis Theorem for standard Borel spaces is an instance of this result.
A sequence of random variables is called exchangeable if the joint distribution of the sequence is unchanged by any permutation of the indices. De Finettis theorem characterizes all ${0,1}$-valued exchangeable sequences as a mixture of sequences of i
Markov categories are a recent categorical approach to the mathematical foundations of probability and statistics. Here, this approach is advanced by stating and proving equivalent conditions for second-order stochastic dominance, a widely used way o
This paper reformulates a classical result in probability theory from the 1930s in modern categorical terms: de Finettis representation theorem is redescribed as limit statement for a chain of finite spaces in the Kleisli category of the Giry monad.
We give a conceptual treatment of the notion of joints, marginals, and independence in the setting of categorical probability. This is achieved by endowing the usual probability monads (like the Giry monad) with a monoidal and an opmonoidal structure
We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein distance. Thi