Borel Kernels and their Approximation, Categorically

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier +1

This paper introduces a categorical framework to study the exact and approximate semantics of probabilistic programs. We construct a dagger symmetric monoidal category of Borel ker…