Categorical algebra of conditional probability

Abstract

In the field of categorical probability, one uses concepts and techniques from category theory, such as monads and monoidal categories, to study the structures of probability and statistics. In this paper, we connect some ideas from categorical algebra, namely weakly cartesian functors and natural transformations, to the idea of conditioning in probability theory, using Markov categories and probability monads. First of all, we show that under some conditions, the monad associated to a Markov category with conditionals has a weakly cartesian functor and weakly cartesian multiplication. In particular, we show that this is the case for the Giry monad on standard Borel spaces. We then connect this theory to existing results on statistical experiments. We show that for deterministic statistical experiments, the so-called standard measure construction (which can be seen as a generalization of the ``hypernormalizations'' introduced by Jacobs) satisfies a universal property, allowing an equivalent definition which does not rely on the existence of conditionals.

33 pages, part of this research is appearing in Bohinen's MSc thesis (University of Oxford)

References in corpus (8)

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Disintegration and Bayesian Inversion via String Diagrams
• Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability
• Infinite products and zero-one laws in categorical probability
• Free gs-monoidal categories and free Markov categories
• Dilations and information flow axioms in categorical probability
• Monads, partial evaluations, and rewriting
• Weak cartesian properties of simplicial sets