Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)

Crubillé Raphaëlle

We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs a…