The Expectation Monad

Details The Expectation Monad The Expectation Monad

2011-12-16

arxiv.org/abs/1112.3805v1

Mathematics

Category Theory

40 pages, presented at QPL 2011

Scientific paper

The expectation monad is introduced abstractly via two composable adjunctions, but concretely cap- tures 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 probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum founda- tions, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.

Affiliated with

Also associated with

No associations

Rating

The Expectation Monad does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Expectation Monad, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Expectation Monad will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-136820