A category theory framework for Bayesian learning
  Inspired by the foundational works by Spivak and Fong and Cruttwell et al.,
we introduce a categorical framework to formalize Bayesian inference and
learning. The two key ideas at play here are the notions of Bayesian inversions
and the functor GL as constructed by Cruttwell et al.. In this context, we find
that Bayesian learning is the simplest case of the learning paradigm. We then
obtain categorical formulations of batch and sequential Bayes updates while
also verifying that the two coincide in a specific example.
