A Categorical Framework for Bayesian Inference and Learning

A category theory framework for Bayesian learning

We introduce a categorical framework to formalize bayesian inference and learning.We then obtain categorical formulations of batch and sequential bayes updates while also verifying that the two coincide in a specific example.