A categorical foundation for Bayesian probability

Jared Culbertson, Kirk Sturtz

Given two measurable spaces $H$ and $D$ with countably generated $\sigma$-algebras, a perfect prior probability measure $P_H$ on $H$ and a sampling distribution $S:H\to D$, th…