Quantifiers as Adjoint in Probability
From MaRDI portal
Publication:6235025
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)
