The expectation monad in quantum foundations

DOI10.1016/J.IC.2016.02.009zbMath1350.68178arXiv1112.3805OpenAlexW2116463962MaRDI QIDQ320204

Jorik Mandemaker, Robert Furber, Bart Jacobs

Publication date: 6 October 2016

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.3805

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (11)

A note on distances between probabilistic and quantum distributions ⋮ Duality for convex monoids ⋮ Coreflections in algebraic quantum logic ⋮ Three characterisations of the sequential product ⋮ From probability monads to commutative effectuses ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Hypernormalisation in an abstract setting ⋮ Affine Monads and Side-Effect-Freeness ⋮ Unnamed Item ⋮ Dichotomy between deterministic and probabilistic models in countably additive effectus theory ⋮ A computer scientist’s reconstruction of quantum theory*

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
• Probabilities, distribution monads, and convex categories
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Proofs of randomized algorithms in Coq
• Semantics of probabilistic programs
• Morphisms, tensor products and \(\sigma\)-effect algebras
• Coreflections in algebraic quantum logic
• From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
• Categorical quantum mechanics
• From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
• Dijkstra Monads in Monadic Computation
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Convexity, Duality and Effects
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• An elementary proof of Gleason's theorem
• Stochastic lambda calculus and monads of probability distributions
• Formal certification of code-based cryptographic proofs
• Measurable Spaces and Their Effect Logic
• Quantum weakest preconditions
• A representation theory for commutative topological algebra

This page was built for publication: The expectation monad in quantum foundations