From Kleisli categories to commutative C ^*-algebras: probabilistic gelfand duality
From MaRDI portal
Publication:2848945
DOI10.1007/978-3-642-40206-7_12zbMATH Open1395.18005OpenAlexW1943738882MaRDI QIDQ2848945FDOQ2848945
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
Recommendations
General theory of (C^*)-algebras (46L05) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Cited In (16)
- On block structures in quantum computation
- Classical control and quantum circuits in enriched category theory
- Complete positivity and natural representation of quantum computations
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- The expectation monad in quantum foundations
- Probabilistic logics based on Riesz spaces
- Dijkstra and Hoare monads in monadic computation
- Semantics for a quantum programming language by operator algebras
- From probability monads to commutative effectuses
- Effectuses from monads
- Quotient-comprehension chains
- Towards a categorical account of conditional probability
- From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
- Quantum Programs as Kleisli Maps
- Convexity and order in probabilistic call-by-name FPC
- Title not available (Why is that?)
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)
