From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
From MaRDI portal
Publication:2848945
DOI10.1007/978-3-642-40206-7_12zbMath1395.18005OpenAlexW1943738882MaRDI QIDQ2848945
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
General theory of (C^*)-algebras (46L05) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (14)
On block structures in quantum computation ⋮ Classical control and quantum circuits in enriched category theory ⋮ The expectation monad in quantum foundations ⋮ Unnamed Item ⋮ Semantics for a quantum programming language by operator algebras ⋮ Quantum Programs as Kleisli Maps ⋮ From probability monads to commutative effectuses ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Towards a Categorical Account of Conditional Probability ⋮ Dijkstra and Hoare monads in monadic computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Complete positivity and natural representation of quantum computations ⋮ Unnamed Item
This page was built for publication: From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality