The Expectation Monad in Quantum Foundations
The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two pr...
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Artikulua |
| Hizkuntza: | English |
| Argitaratua: |
Open Publishing Association
2012-10-01
|
| Saila: | Electronic Proceedings in Theoretical Computer Science |
| Sarrera elektronikoa: | http://arxiv.org/pdf/1112.3805v2 |