1 research outputs found
Quantifiers as Adjoint in Probability
Using the Kleisi category of the Giry monad the deterministic existential and
universal quantifiers are generalized to incorporate nondeterminism. These
probabilistic quantifiers are quantified over the points of the category which
are probability measures