2000 character limit reached
Quantifiers as Adjoint in Probability (1208.2938v1)
Published 14 Aug 2012 in math.PR and math.CT
Abstract: 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.