Fabio Zanasi (http://www.zanasi.com/fabio/) will give a talk about
Category theory and how classical and quantum probability inference can
be formulated in the language of Category theory. These are title and
abstract of his talk.
Title: A predicate/state transformer semantics for Bayesian learning
This work establishes a link between Bayesian inference (learning) and
predicate/state transformer operations from programming semantics and
logic. In particular, we give a very general formulation of backward and
forward inference, in the language of category theory. Our abstract
definition will be then illustrated in various examples in discrete and
probability theory and also in quantum theory.