21 citations · 42 across the 11 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.PR2012
Quantifiers as Adjoint in Probability
Kirk Sturtz
Using the Kleisi category of the Giry monad the deterministic existential and universal quantifiers are generalized to incorporate nondeterminism. These probabilistic quantifiers a…
math.CT2012★ 21 cited
A categorical foundation for Bayesian probability
Jared Culbertson, Kirk Sturtz
Given two measurable spaces and with countably generated -algebras, a perfect prior probability measure on and a sampling distribution , th…