A categorical foundation for Bayesian probability - 42Papers