Borel Kernels and their Approximation, Categorically - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2018

Borel Kernels and their Approximation, Categorically

Résumé

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 kernels where the dagger-structure is given by Bayesian inversion. We show functorial bridges between this category and categories of Banach lattices which formalize the move from kernel-based semantics to predicate transformer (backward) or state transformer (forward) semantics. These bridges are related by natural transformations, and we show in particular that the Radon-Nikodym and Riesz representation theorems-two pillars of probability theory-define natural transformations. With the mathematical infrastructure in place, we present a generic and endogenous approach to approximating kernels on standard Borel spaces which exploits the involutive structure of our category of kernels. The approximation can be formulated in several equivalent ways by using the func-torial bridges and natural transformations described above. Finally, we show that for sensible discretization schemes, every Borel kernel can be approximated by kernels on finite spaces, and that these approximations converge for a natural choice of topology. We illustrate the theory by showing two examples of how approximation can effectively be used in practice: Bayesian inference and the Kleene * operation of ProbNetKAT.
Fichier principal
Vignette du fichier
Borel_kernels_1803.02651.pdf (992.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01976416 , version 1 (10-01-2019)

Identifiants

Citer

Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier. Borel Kernels and their Approximation, Categorically. Electronic Notes in Theoretical Computer Science, 2018, 341, pp.91-119. ⟨10.1016/j.entcs.2018.11.006⟩. ⟨hal-01976416⟩
192 Consultations
77 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More