5 papers
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…
Monads, partial evaluations, and rewriting
Tobias Fritz, Paolo Perrone
Monads can be interpreted as encoding formal expressions, or formal operations in the sense of universal algebra. We give a construction which formalizes the idea of "evaluating an…
A Criterion for Kan Extensions of Lax Monoidal Functors
Tobias Fritz, Paolo Perrone
In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoi…
Stochastic order on metric spaces and the ordered Kantorovich monad
Tobias Fritz, Paolo Perrone
In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad fu…
Bimonoidal Structure of Probability Monads
Tobias Fritz, Paolo Perrone
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 mo…