Quantifiers as Adjoint in Probability
From MaRDI portal
Publication:6235025
arXiv1208.2938MaRDI QIDQ6235025FDOQ6235025
Authors: Kirk Sturtz 
Publication date: 14 August 2012
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.
This page was built for publication: Quantifiers as Adjoint in Probability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6235025)
