De Finetti's Theorem in Categorical Probability

Tobias Fritz, Tomáš Gonda, Paolo Perrone

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…