Unifilar Machines and the Adjoint Structure of Bayesian Filtering

Nathaniel Virgo

We elucidate the mathematical structure of Bayesian filtering, and Bayesian inference more broadly, by applying recent work on category theoretical probability, specifically the co…