Abstract
C *-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic, probabilistic, quantum) inside categories of C *-algebras. This paper concentrates on the commutative case and shows that there are functors from several Kleisli categories, of monads that are relevant to model probabilistic computations, to categories of C *-algebras. This yields a new probabilistic version of Gelfand duality, involving the “Radon” monad on the category of compact Hausdorff spaces. We also show that a commutative C *-algebra is isomorphic to the space of convex continuous functionals from its state space to the complex numbers. This allows us to obtain an appropriately commuting state-and-effect triangle for commutative C *-algebras.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Engesser, K., Gabbai, D.M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structures, pp. 261–323. North Holland, Elsevier, Computer Science Press (2009)
Alfsen, E.M., Shultz, F.W.: State Spaces of Operator Algebras. Birkhaäuser (2001)
Arveson, W.: An Invitation to C *-Algebra. Springer (1981)
Conway, J.B.: A Course In Functional Analysis, 2nd edn. Graduate Texts in Mathematics, vol. 96. Springer (1990)
Dixmier, J.: C *-Algebras. North-Holland Mathematical Library, vol. 15. North-Holland Publishing Company (1977)
Dvurečenskij, A., Pulmannová, S.: New Trends in Quantum Structures. Kluwer Acad. Publ., Dordrecht (2000)
Foulis, D.J., Bennett, M.K.: Effect algebras and unsharp quantum logics. Found. Physics 24(10), 1331–1352 (1994)
Fremlin, D.H.: Measure Theory, vol. 4 (2003), http://www.essex.ac.uk/maths/people/fremlin/mt.htm
Girard, J.-Y.: Geometry of Interaction V: Logic in the hyperfinite factor. Theor. Comput. Sci. 412(20), 1860–1883 (2011)
Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68–85. Springer, Heidelberg (1982)
Heinosaari, T., Ziman, M.: The Mathematical Language of Quantum Theory. From Uncertainty to Entanglement. Cambridge Univ. Press (2012)
Horodecki, M., Horodecki, P., Horodecki, R.: Separability of Mixed States: Necessary and Sufficient Conditions. Physics Letters A 223(12), 1–8 (1996)
Jacobs, B.: Introduction to Coalgebra. Towards Mathematics of States and Observations, Book, in preparation; version 2.0 (2012), http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf
Jacobs, B.: Involutive categories and monoids, with a GNS-correspondence. Found. of Physics 42(7), 874–895 (2012)
Jacobs, B.: Measurable spaces and their effect logic. In: Logic in Computer Science. IEEE Computer Science Press (2013)
Jacobs, B., Mandemaker, J.: The expectation monad in quantum foundations. In: Jacobs, B., Selinger, P., Spitters, B. (eds.) Quantum Physics and Logic (QPL) 2011. Elect. Proc. in Theor. Comp. Sci., vol. 95, pp. 143–182 (2012)
Jacobs, B., Mandemaker, J.: Relating operator spaces via adjunctions. In: Chubb Reimann, J., Harizanov, V., Eskandarian, A. (eds.) Logic and Algebraic Structures in Quantum Computing and Information. Lect. Notes in Logic, Cambridge Univ. Press (2013), See arxiv.org/abs/1201.1272
Johnstone, P.: Stone Spaces. Studies in Advanced Mathematics, vol. 3. Cambridge Univ. Press (1982)
Kock, A.: On double dualization monads. Math. Scand. 27, 151–165 (1970)
Maassen, H.: Quantum probability and quantum information theory. In: Benatti, F., Fannes, M., Floreanini, R., Petritis, D. (eds.) Quantum Information, Computation and Cryptography. Lect. Notes Physics, vol. 808, pp. 65–108. Springer, Berlin (2010)
Mislove, M., Ouaknine, J., Pavlovic, D., Worrell, J.: Duality for labelled Markov processes. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 393–407. Springer, Heidelberg (2004)
Moggi, E.: Notions of computation and monads. Inf. & Comp. 93(1), 55–92 (1991)
Wick Pelletier, J., Rosický, J.: On the Equational Theory of C *-algebras. Algebra Universalis 30, 275–284 (1993)
Rudin, W.: Functional Analysis, 3rd edn. McGraw-Hill Book Company (1987)
Sakai, S.: C *-algebras and W *-algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 60. Springer (1971)
Street, R.: The formal theory of monads. Journ. of Pure & Appl. Algebra 2, 149–169 (1972)
Swirszcz, T.: Monadic Functors and Convexity. Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Math. Astr. et Phys. 22(1), 39–42 (1974)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Furber, R., Jacobs, B. (2013). From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. In: Heckel, R., Milius, S. (eds) Algebra and Coalgebra in Computer Science. CALCO 2013. Lecture Notes in Computer Science, vol 8089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40206-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-40206-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40205-0
Online ISBN: 978-3-642-40206-7
eBook Packages: Computer ScienceComputer Science (R0)