De Finetti's Theorem in Categorical Probability

DOI10.31390/JOSA.2.4.06arXiv2105.02639MaRDI QIDQ6366995FDOQ6366995

Paolo Perrone, Tobias Fritz, Tomáš Gonda

Publication date: 6 May 2021

Abstract: We present a novel proof of de Finetti's 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 Finetti's Theorem for standard Borel spaces is an instance of this result.

Mathematics Subject Classification ID

Foundations and philosophical topics in statistics (62A01) Axioms; other general questions in probability (60A05) Exchangeability for stochastic processes (60G09) Monoidal categories, symmetric monoidal categories (18M05) Categories of networks and processes, compositionality (18M35)

This page was built for publication: De Finetti's Theorem in Categorical Probability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6366995)