From Kleisli categories to commutative C ^*-algebras: probabilistic gelfand duality

DOI10.1007/978-3-642-40206-7_12MaRDI QIDQ2848945zbMATHOpenAlexFDO

Authors Robert Furber, Bart Jacobs

Publication date 13 September 2013

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40206-7_12

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
• From probability monads to commutative effectuses
• Quantum Programs as Kleisli Maps
• Effectuses from monads
• Probabilities, distribution monads, and convex categories

Cited in

(16)

• Effectuses from monads
• Convexity and order in probabilistic call-by-name FPC
• Complete positivity and natural representation of quantum computations
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Dijkstra and Hoare monads in monadic computation
• Probabilistic logics based on Riesz spaces
• Towards a categorical account of conditional probability
• From probability monads to commutative effectuses
• Quotient-comprehension chains
• Classical control and quantum circuits in enriched category theory
• The expectation monad in quantum foundations
• From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
• Quantum Programs as Kleisli Maps
• On block structures in quantum computation
• Semantics for a quantum programming language by operator algebras
• Classical control, quantum circuits and linear logic in enriched category theory

This page was built for publication: From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848945)