The Compositional Structure of Bayesian Inference

arXiv2305.06112MaRDI QIDQ6436098FDOQ6436098

Authors: Dylan Braithwaite, Jules Hedges, Toby St. Clere Smithe 

Publication date: 10 May 2023

Abstract: Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence. If the process is believed to have a complex compositional structure, we may observe that the inversion of the whole can be computed piecewise in terms of the component processes. We study the structure of this compositional rule, noting that it relates to the lens pattern in functional programming. Working in a suitably general axiomatic presentation of a category of Markov kernels, we see how we can think of Bayesian inversion as a particular instance of a state-dependent morphism in a fibred category. We discuss the compositional nature of this, formulated as a functor on the underlying category and explore how this can used for a more type-driven approach to statistical inference.

This page was built for publication: The Compositional Structure of Bayesian Inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6436098)