{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:11:57Z","timestamp":1760242317363,"version":"build-2065373602"},"reference-count":126,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2017,3,29]],"date-time":"2017-03-29T00:00:00Z","timestamp":1490745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/L002388\/1"],"award-info":[{"award-number":["EP\/L002388\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Entropy"],"abstract":"<jats:p>Interpretational problems with quantum mechanics can be phrased precisely by only talking about empirically accessible information. This prompts a mathematical reformulation of quantum mechanics in terms of classical mechanics. We survey this programme in terms of algebraic quantum theory.<\/jats:p>","DOI":"10.3390\/e19040144","type":"journal-article","created":{"date-parts":[[2017,3,29]],"date-time":"2017-03-29T11:26:44Z","timestamp":1490786804000},"page":"144","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Many Classical Faces of Quantum Structures"],"prefix":"10.3390","volume":"19","author":[{"given":"Chris","family":"Heunen","sequence":"first","affiliation":[{"name":"School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9AB, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2017,3,29]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","article-title":"On the Einstein Podolsky Rosen paradox","volume":"1","author":"Bell","year":"1964","journal-title":"Physics"},{"key":"ref_2","first-page":"59","article-title":"The problem of hidden variables in quantum mechanics","volume":"17","author":"Kochen","year":"1967","journal-title":"J. Math. Mech."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1038\/nphys2309","article-title":"On the reality of the quantum state","volume":"8","author":"Pusey","year":"2012","journal-title":"Nat. Phys."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Busch, P., Grabowski, M., and Lahti, P.J. (1995). Operational Quantum Physics, Springer.","DOI":"10.1007\/978-3-540-49239-9"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1016\/S0370-1573(02)00266-1","article-title":"Fundamentals of quantum information theory","volume":"369","author":"Keyl","year":"2002","journal-title":"Phys. Rep."},{"key":"ref_6","unstructured":"Kadison, R.V., and Ringrose, J.R. (1983). Fundamentals of the Theory of Operator Algebras, Academic Press. Number 15\u201316 in Graduate Studies in Mathematics."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Berberian, S.K. (1972). Baer *-Rings, Springer.","DOI":"10.1007\/978-3-642-15071-5"},{"key":"ref_8","unstructured":"Emch, G.G. (1984). Mathematical and Conceptual Foundations of 20th-Century Physics, North-Holland. [1st ed.]."},{"key":"ref_9","unstructured":"Davies, E.B. (1976). Quantum Theory of Open Systems, Academic Press."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s10670-008-9124-z","article-title":"Superselection rules for philosophers","volume":"69","author":"Earman","year":"2008","journal-title":"Erkenn"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"R\u00e9dei, M. (1998). Quantum Logic in Algebraic Approach, Springer.","DOI":"10.1007\/978-94-015-9026-6"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Haag, R. (1996). Local Quantum Physics, Springer. Texts and Monographs in Physics.","DOI":"10.1007\/978-3-642-61458-3"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Strocchi, F. (2008). An Introduction to the Mathematical Structure of Quantum Mechanics, World Scientific.","DOI":"10.1142\/7038"},{"key":"ref_14","unstructured":"Emch, G.G. (1972). Algebraic Methods in Statistical Mechanics and Quantum Field Theory, Wiley."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1002\/mana.19800970125","article-title":"Existence and density theorems for stochastic maps on commutative C*-algebras","volume":"97","author":"Alberti","year":"1980","journal-title":"Math. Nachr."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Landsman, N.P. (1998). Mathematical Topics between Classical and Quantum Mechanics, Springer.","DOI":"10.1007\/978-1-4612-1680-3"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Weaver, N. (2001). Mathematical Quantization, Chapman & Hall.","DOI":"10.1201\/9781420036237"},{"key":"ref_18","unstructured":"Bohr, N. (1949). Albert Einstein: Philosopher-Scientist, Cambridge University Press."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s00220-009-0865-6","article-title":"A topos for algebraic quantum theory","volume":"291","author":"Heunen","year":"2009","journal-title":"Commun. Math. Phys."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"383","DOI":"10.2307\/2372748","article-title":"Extensions of pure states","volume":"81","author":"Kadison","year":"1959","journal-title":"Am. J. Math."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"327","DOI":"10.4007\/annals.2015.182.1.8","article-title":"Interlacing families II: Mixed characteristic polynomials and the Kadison\u2013Singer problem","volume":"182","author":"Marcus","year":"2015","journal-title":"Ann. Math."},{"key":"ref_22","unstructured":"Altepeter, J.B., James, D.F.V., and Kwiat, P.G. (2004). Quantum State Estimation, Springer."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"2669","DOI":"10.1023\/A:1026680806775","article-title":"A topos perspective on the Kochen\u2013Specker theorem: I. Quantum States as Generalized Valuations","volume":"37","author":"Butterfield","year":"1998","journal-title":"Int. J. Theor. Phys."},{"key":"ref_24","unstructured":"Constantin, C.M., and D\u00f6ring, A. (arXiv, 2012). Contextual entropy and reconstruction of quantum states, arXiv."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"3353","DOI":"10.1007\/s10773-016-2964-4","article-title":"Orthogonal measures on state spaces and context structure of quantum theory","volume":"55","author":"Hamhalter","year":"2016","journal-title":"Int. J. Theor. Phys."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Mac Lane, S. (1971). Categories for the Working Mathematician, Springer. [2nd ed.].","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s10485-011-9246-3","article-title":"Noncommutativity as a colimit","volume":"20","author":"Berg","year":"2012","journal-title":"Appl. Categorical Struct."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/s11856-012-0043-y","article-title":"Obstructing extensions of the functor Spec to noncommutative rings","volume":"192","author":"Reyes","year":"2012","journal-title":"Isr. J. Math."},{"key":"ref_29","first-page":"457","article-title":"Extending obstructions to noncommutative functorial spectra","volume":"29","author":"Berg","year":"2014","journal-title":"Theory Appl. Categories"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10773-005-1490-6","article-title":"Kochen\u2013Specker theorem for von Neumann algebras","volume":"44","year":"2005","journal-title":"Int. J. Theor. Phys."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1090\/conm\/609\/12129","article-title":"Sheaves that fail to represent matrix rings","volume":"Volume 609","author":"Reyes","year":"2014","journal-title":"Ring theory and Its Applications"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Alfsen, E.M., and Shultz, F.W. (2001). State Spaces of Operator Algebras: Basic Theory, Orientations, and C*-Products, Birkh\u00e4user.","DOI":"10.1007\/978-1-4612-0147-2"},{"key":"ref_33","unstructured":"Connes, A. (1994). Noncommutative Geometry, Academic Press."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0022-1236(69)90015-9","article-title":"The general Stone\u2013Weierstrass problem","volume":"4","author":"Akemann","year":"1969","journal-title":"J. Funct. Anal."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1512\/iumj.1972.21.21008","article-title":"A non-commutative generalization of topology","volume":"21","author":"Giles","year":"1971","journal-title":"Indiana Univ. Math. J."},{"key":"ref_36","unstructured":"De Silva, N. (arXiv, 2014). From topology to noncommutative geometry: K-theory, arXiv."},{"key":"ref_37","unstructured":"De Silva, N., and Soares Barbosa, R. (arXiv, 2014). Partial and total ideals of von Neumann algebras, arXiv."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Heunen, C., and Lindenhovius, A.J. (2015, January 6\u201310). Domains of commutative C*-subalgebras. Proceedings of the 2015 30th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), Kyoto, Japan.","DOI":"10.1109\/LICS.2015.49"},{"key":"ref_39","unstructured":"Hanche-Olsen, H., and St\u00f8rmer, E. (1984). Jordan Operator Algebras, Pitman Advanced Publishing Program."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/j.jmaa.2011.05.035","article-title":"Isomorphisms of ordered structures of abelian C*-subalgebras of C*-algebras","volume":"383","author":"Hamhalter","year":"2011","journal-title":"J. Math. Anal. Appl."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"235","DOI":"10.2307\/1969540","article-title":"Projections in Banach algebras","volume":"53","author":"Kaplansky","year":"1951","journal-title":"Ann. Math."},{"key":"ref_42","unstructured":"D\u00f6ring, A., and Harding, J. (arXiv, 2015). Abelian subalgebras and the Jordan structure of von Neumann algebras, arXiv."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"1103","DOI":"10.1016\/j.jmaa.2014.09.040","article-title":"Dye\u2019s theorem and Gleason\u2019s theorem for AW*-algebras","volume":"422","author":"Hamhalter","year":"2015","journal-title":"J. Math. Anal. Appl."},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/qmath\/has015","article-title":"Structure of associative subalgebras of Jordan operator algebras","volume":"64","author":"Hamhalter","year":"2013","journal-title":"Q. J. Math."},{"key":"ref_45","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T. (2002). Sketches of an Elephant: A Topos Theory Compendium, Clarendon Press.","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"ref_46","doi-asserted-by":"crossref","unstructured":"Landsman, N.P. (2017). Bohrification: From Classical Concepts to Commutative Operator Algebras, Springer.","DOI":"10.5040\/9781350035140.ch-015"},{"key":"ref_47","unstructured":"Johnstone, P.T. (1982). Stone Spaces, Cambridge University Press. Number 3 in Cambridge Studies in Advanced Mathematics."},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/j.apal.2005.05.018","article-title":"A globalisation of the Gelfand duality theorem","volume":"137","author":"Banaschewski","year":"2006","journal-title":"Ann. Pure Appl. Log."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"77","DOI":"10.4204\/EPTCS.158.7","article-title":"Gelfand spectra in Grothendieck toposes using geometric mathematics","volume":"158","author":"Spitters","year":"2014","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"81","DOI":"10.4204\/EPTCS.95.8","article-title":"The Born rule as structure of spectral bundles","volume":"95","author":"Fauser","year":"2012","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Halvorson, H. (2011). Deep Beauty: Understanding the Quantum World through Mathematical Innovation, Cambridge University Press.","DOI":"10.1017\/CBO9780511976971"},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1007\/s10701-009-9308-7","article-title":"Intuitionistic quantum logic of an n-level system","volume":"39","author":"Caspers","year":"2009","journal-title":"Found. Phys."},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1007\/s11229-011-9918-4","article-title":"Bohrification of operator algebras and quantum logic","volume":"186","author":"Heunen","year":"2012","journal-title":"Synthese"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"082110","DOI":"10.1063\/1.4892100","article-title":"Topos models for physics and topos theory","volume":"55","author":"Wolters","year":"2013","journal-title":"J. Math. Phys."},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"211","DOI":"10.4204\/EPTCS.95.15","article-title":"Bohrification of local nets","volume":"95","author":"Nuiten","year":"2011","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Halvorson, H. (2011). Deep Beauty: Understanding the Quantum World through Mathematical Innovation, Cambridge University Press.","DOI":"10.1017\/CBO9780511976971"},{"key":"ref_57","first-page":"753","article-title":"New Structure for Physics; Chapter What is a thing? Topos theory in the founcations of physics","volume":"Volume 813","author":"Isham","year":"2011","journal-title":"Lecture Notes in Physics"},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"053515","DOI":"10.1063\/1.2883740","article-title":"A topos founcation for theories of physics","volume":"49","author":"Isham","year":"2008","journal-title":"J. Math. Phys."},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Flori, C. (2013). A First Course in Topos Quantum Theory, Springer. Lecture Notes in Physics.","DOI":"10.1007\/978-3-642-35713-8"},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00220-012-1652-3","article-title":"A comparison of two topos-theoretic approaches to quantum theory","volume":"317","author":"Wolters","year":"2013","journal-title":"Commun. Math. Phys."},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Joyal, A., and Tierney, M. (1984). An Extension of the Galois Theory of Grothendieck (Memoirs of the American Mathematical Society), Proquest Info & Learning.","DOI":"10.1090\/memo\/0309"},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1017\/S1446788711001157","article-title":"The Gelfand spectrum of a noncommutative C*-algebra: A topos-theoretic approach","volume":"90","author":"Heunen","year":"2011","journal-title":"J. Aust. Math. Soc."},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10485-012-9298-z","article-title":"Erratum to: Noncommutativity as a colimit","volume":"21","author":"Berg","year":"2013","journal-title":"Appl. Categorical Struct."},{"key":"ref_64","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s00220-014-2088-8","article-title":"Characterizations of categories of commutative C*-subalgebras","volume":"331","author":"Heunen","year":"2014","journal-title":"Commun. Math. Phys."},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1007\/s10701-011-9619-3","article-title":"The space of measurement outcomes as a spectral invariant for non-commutative algebras","volume":"42","author":"Spitters","year":"2012","journal-title":"Found. Phys."},{"key":"ref_66","unstructured":"De Groote, H.F. (arXiv, 2007). Observables IV: The presheaf perspective, arXiv."},{"key":"ref_67","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1166\/asl.2009.1037","article-title":"Quantum states and measures on the spectral presheaf","volume":"2","year":"2009","journal-title":"Adv. Sci. Lett."},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"20140716","DOI":"10.1098\/rspa.2014.0716","article-title":"Topos logic in measurement-based quantum computation","volume":"471","author":"Loveridge","year":"2015","journal-title":"Proc. R. Soc. A"},{"key":"ref_69","first-page":"93","article-title":"The principle of general tovariance","volume":"1023","author":"Heunen","year":"2008","journal-title":"Int. Fall Workshop Geom. Phys."},{"key":"ref_70","unstructured":"Epperson, M., and Zafiris, E. (2013). Foundations of Relational Realism: A Topological Approach to Quantum Mechanics and the Philosophy of Nature, Lexington."},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF00872949","article-title":"A sheaf model for intuitionistic quantum mechanics","volume":"3","author":"Adelman","year":"1995","journal-title":"Appl. Categorical Struct."},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"207","DOI":"10.4099\/math1924.9.207","article-title":"C*-algebras and Boolean-valued analysis","volume":"9","author":"Takeuti","year":"1983","journal-title":"Jpn. J. Math."},{"key":"ref_73","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1112\/jlms\/s2-32.1.141","article-title":"A transfer principle from von Neumann algebras to AW*-algebras","volume":"32","author":"Ozawa","year":"1985","journal-title":"J. Lond. Math. Soc."},{"key":"ref_74","doi-asserted-by":"crossref","first-page":"589","DOI":"10.2969\/jmsj\/03640589","article-title":"A classification of type I AW*-algebras and Boolean-valued analysis","volume":"36","author":"Ozawa","year":"1984","journal-title":"J. Math. Soc. Jpn."},{"key":"ref_75","doi-asserted-by":"crossref","first-page":"113036","DOI":"10.1088\/1367-2630\/13\/11\/113036","article-title":"The sheaf-theoretic structure of non-locality and contextuality","volume":"13","author":"Abramsky","year":"2011","journal-title":"New J. Phys."},{"key":"ref_76","unstructured":"Abramsky, S., and Jung, A. (1994). Handbook of Logic in Computer Science, Oxford University Press."},{"key":"ref_77","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., and Scott, D.S. (2003). Continuous Lattices and Domains, Cambridge University Press. Number 93 in Encyclopedia of Mathematics and its Applications.","DOI":"10.1017\/CBO9780511542725"},{"key":"ref_78","unstructured":"D\u00f6ring, A., and Barbosa, R.S. (2011). Quantum Field Theory and Gravity: Conceptual and Mathematical Advances in the Search for a Unified Framework, Springer."},{"key":"ref_79","doi-asserted-by":"crossref","first-page":"4615","DOI":"10.1007\/s10773-015-2817-6","article-title":"Classifying finite-dimensional C*-algebras by posets of their commutative C*-subalgebras","volume":"54","author":"Lindenhovius","year":"2015","journal-title":"Int. J. Theor. Phys."},{"key":"ref_80","unstructured":"Lindenhovius, A.J. (2016). \n        \n          \n            \n              C\n              (\n              A\n              )\n            \n          \n        \n      . [Ph.D. Thesis, Radboud University]."},{"key":"ref_81","doi-asserted-by":"crossref","first-page":"308","DOI":"10.7146\/math.scand.a-11723","article-title":"Scattered C*-algebras","volume":"41","author":"Jensen","year":"1977","journal-title":"Math. Scand."},{"key":"ref_82","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1515\/form.11.1.17","article-title":"Distances between Banach spaces","volume":"11","author":"Kalton","year":"1999","journal-title":"Forum Math."},{"key":"ref_83","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1353\/ajm.1998.0022","article-title":"The Effros\u2013Mar\u00e9chal topology in the space of von Neumann algebras","volume":"120","author":"Haagerup","year":"1998","journal-title":"Am. J. Math."},{"key":"ref_84","doi-asserted-by":"crossref","first-page":"38","DOI":"10.2307\/2373592","article-title":"Perturbations of von Neumann algebras I: Stability of type","volume":"94","author":"Kadison","year":"1972","journal-title":"Am. J. Math."},{"key":"ref_85","first-page":"95","article-title":"The order topology for a von Neumann algebra","volume":"230","author":"Chetcuti","year":"2015","journal-title":"Stud. Math."},{"key":"ref_86","doi-asserted-by":"crossref","first-page":"536","DOI":"10.2307\/1970940","article-title":"A factor not anti-isomorphic to itself","volume":"101","author":"Connes","year":"1975","journal-title":"Ann. Math."},{"key":"ref_87","unstructured":"Spekkens, R.W. (arXiv, 2013). The paradigm of kinematics and dynamics must yield to causal structure. Foundational Questions Institute essay contest winner, arXiv."},{"key":"ref_88","unstructured":"Moffat, J. (1974). Groups of Automorphisms of Operator Algebras. [Ph.D. Thesis, University of Newcastle upon Tyne]."},{"key":"ref_89","doi-asserted-by":"crossref","first-page":"3333","DOI":"10.1007\/s10773-013-1691-3","article-title":"Automorphisms of ordered structures of abelian parts of operator algebras and their role in quantum theory","volume":"53","author":"Hamhalter","year":"2014","journal-title":"Int. J. Theor. Phys."},{"key":"ref_90","unstructured":"D\u00f6ring, A. (arXiv, 2012). Flows on generalised Gelfand spectra of nonabelian unital C*-algebras and time evolution of quantum systems, arXiv."},{"key":"ref_91","doi-asserted-by":"crossref","unstructured":"Heunen, C., and Lindenhovius, A.J. (arXiv, 2015). Domains of commutative C*-subalgebras, arXiv.","DOI":"10.1109\/LICS.2015.49"},{"key":"ref_92","unstructured":"Geloun, J.B., and Flori, C. (arXiv, 2012). Topos analogues of the KMS state, arXiv."},{"key":"ref_93","doi-asserted-by":"crossref","first-page":"6596","DOI":"10.1073\/pnas.95.12.6596","article-title":"Orientation in operator algebras","volume":"95","author":"Alfsen","year":"1998","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"ref_94","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.jmaa.2014.02.041","article-title":"Active lattices determine AW*-algebras","volume":"416","author":"Heunen","year":"2014","journal-title":"J. Math. Anal. Appl."},{"key":"ref_95","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1007\/s10773-005-7075-6","article-title":"Automorphisms of an orthomodular poset of projections","volume":"44","author":"Chevalier","year":"2005","journal-title":"Int. J. Theor. Phys."},{"key":"ref_96","doi-asserted-by":"crossref","first-page":"1873","DOI":"10.1016\/j.jfa.2013.01.022","article-title":"Diagonalizing matrices over AW*-algebras","volume":"264","author":"Heunen","year":"2013","journal-title":"J. Funct. Anal."},{"key":"ref_97","unstructured":"Kornell, A. (arXiv, 2012). Quantum Collections, arXiv."},{"key":"ref_98","unstructured":"Kornell, A. (arXiv, 2015). V*-algebras, arXiv."},{"key":"ref_99","doi-asserted-by":"crossref","first-page":"19","DOI":"10.7900\/jot.2015jun16.2109","article-title":"On discretization of C*-algebras","volume":"77","author":"Heunen","year":"2017","journal-title":"J. Oper. Theory"},{"key":"ref_100","unstructured":"Mackey, G.W. (1963). The Mathematical Foundations of Quantum Mechanics, W. A. Benjamin."},{"key":"ref_101","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1090\/S0273-0979-1992-00274-4","article-title":"The Mackey\u2013Gleason problem","volume":"26","author":"Bunce","year":"1992","journal-title":"Bull. Am. Math. Soc."},{"key":"ref_102","doi-asserted-by":"crossref","unstructured":"Hamhalter, J. (2004). Quantum Measure Theory, Springer.","DOI":"10.1007\/978-94-017-0119-8"},{"key":"ref_103","unstructured":"Birkhoff, G. (1948). Lattice Theory, American Mathematical Society."},{"key":"ref_104","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/BF01191496","article-title":"Characterizations of partition lattices","volume":"19","author":"Stonesifer","year":"1984","journal-title":"Algebra Univers."},{"key":"ref_105","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1112\/plms\/s3-27.1.22","article-title":"Lattices and compactifications I","volume":"27","author":"Firby","year":"1973","journal-title":"Proc. Lond. Math. Soc."},{"key":"ref_106","doi-asserted-by":"crossref","first-page":"717","DOI":"10.2140\/pjm.1972.41.717","article-title":"Partial algebraic structures associated with orthomodular posets","volume":"41","author":"Gudder","year":"1972","journal-title":"Pac. J. Math."},{"key":"ref_107","doi-asserted-by":"crossref","first-page":"415","DOI":"10.2307\/2271104","article-title":"On the structure of quantum logic","volume":"34","author":"Finch","year":"1969","journal-title":"J. Symb. Log."},{"key":"ref_108","doi-asserted-by":"crossref","first-page":"558","DOI":"10.2307\/2274252","article-title":"Omnibus review","volume":"50","author":"Hughes","year":"1985","journal-title":"J. Symb. Log."},{"key":"ref_109","unstructured":"Scheibe, E. (1973). The Logical Analysis of Quantum Mechanics, Pergamon Press."},{"key":"ref_110","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/978-3-662-43951-7_18","article-title":"Piecewise Boolean algebras and their domains","volume":"8573","author":"Heunen","year":"2014","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_111","first-page":"928","article-title":"Compositories and gleaves","volume":"31","author":"Flori","year":"2016","journal-title":"Theory Appl. Categories"},{"key":"ref_112","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1017\/S0004972700010352","article-title":"A characterization of the topological group of real numbers","volume":"34","author":"Morris","year":"1986","journal-title":"Bull. Aust. Math. Soc."},{"key":"ref_113","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1090\/S0002-9947-1952-0048455-3","article-title":"Infinite unitary groups","volume":"72","author":"Kadison","year":"1952","journal-title":"Trans. Am. Math. Soc."},{"key":"ref_114","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0024-3795(70)90013-3","article-title":"Some results on unitary matrix groups","volume":"3","author":"Marcus","year":"1970","journal-title":"Linear Algebra Its Appl."},{"key":"ref_115","doi-asserted-by":"crossref","first-page":"3767","DOI":"10.1016\/j.jfa.2015.01.023","article-title":"Borel complexity and automorphisms of C*-algebras","volume":"268","author":"Kerr","year":"2015","journal-title":"J. Funct. Anal."},{"key":"ref_116","unstructured":"Heunen, C. (2013). Computation, Logic, Games, and Quantum Foundations, Springer."},{"key":"ref_117","unstructured":"Heunen, C., and Vicary, J. (2017). Categories for Quantum Theory: An Introduction, Oxford University Press."},{"key":"ref_118","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1007\/s00220-010-1138-0","article-title":"Categorical formulation of finite-dimensional quantum algebras","volume":"304","author":"Vicary","year":"2011","journal-title":"Commun. Math. Phys."},{"key":"ref_119","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/psapm\/071\/599","article-title":"H*-algebras and nonunital Frobenius algebras: First steps in infinite-dimensional categorical quantum mechanics","volume":"71","author":"Abramsky","year":"2012","journal-title":"Clifford Lect. AMS Proc. Symp. Appl. Math."},{"key":"ref_120","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.jpaa.2012.04.002","article-title":"Relative Frobenius algebras are groupoids","volume":"217","author":"Heunen","year":"2013","journal-title":"J. Pure Appl. Algebra"},{"key":"ref_121","doi-asserted-by":"crossref","first-page":"5179","DOI":"10.1007\/s11128-014-0837-4","article-title":"Categories of quantum and classical channels","volume":"15","author":"Coecke","year":"2016","journal-title":"Quantum Inf. Process."},{"key":"ref_122","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s11083-010-9145-5","article-title":"Quantum logic in dagger kernel categories","volume":"27","author":"Heunen","year":"2010","journal-title":"Order"},{"key":"ref_123","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1007\/s10701-011-9585-9","article-title":"Complementarity in categorical quantum mechanics","volume":"42","author":"Heunen","year":"2012","journal-title":"Found. Phys."},{"key":"ref_124","unstructured":"Coecke, B., Heunen, C., and Kissinger, A. (2013). Computation, Logic, Games, and Quantum Foundations, Springer."},{"key":"ref_125","doi-asserted-by":"crossref","first-page":"1561","DOI":"10.1023\/A:1026056716397","article-title":"Characterizing quantum theory in terms of information-theoretic constraints","volume":"33","author":"Clifton","year":"2003","journal-title":"Found. Phys."},{"key":"ref_126","unstructured":"Heunen, C., and Kissinger, A. (arXiv, 2016). Can quantum theory be characterized by information-theoretic constraints?, arXiv."}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/19\/4\/144\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T18:31:31Z","timestamp":1760207491000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/19\/4\/144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,29]]},"references-count":126,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2017,4]]}},"alternative-id":["e19040144"],"URL":"https:\/\/doi.org\/10.3390\/e19040144","relation":{},"ISSN":["1099-4300"],"issn-type":[{"type":"electronic","value":"1099-4300"}],"subject":[],"published":{"date-parts":[[2017,3,29]]}}}