Quantifiers as Adjoint in Probability
Probability
2012-08-15 v1 Category Theory
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.
Cite
@article{arxiv.1208.2938,
title = {Quantifiers as Adjoint in Probability},
author = {Kirk Sturtz},
journal= {arXiv preprint arXiv:1208.2938},
year = {2012}
}