A Unified Sheaf-Theoretic Account of Non-Locality and Contextuality

Samson Abramsky Adam Brandenburger 2011 A Unified Sheaf-Theoretic Account of Non-Locality and Contextuality ArXiv:quant-ph/1102.0264v2 Bernhard Banaschewski Christopher J. Mulvey 2006 A Globalisation of the Gelfand Duality Theorem Annals of Pure and Applied Logic 137 62–103 10.1016/j.apal.2005.05.018 Martijn Caspers Chris Heunen Nicolaas P. Landsman Bas Spitters 2009 Intuitionistic Quantum Logic of an n-level System Foundations of Physics 39 731–759 10.1007/s10701-009-9308-7 Thierry Coquand Bas Spitters 2009 Integrals and Valuations Journal of Logic and Analysis 1 3 1–22 10.4115/jla.2009.1.3 Andreas Döring 2009 Quantum States and Measures on the Spectral Presheaf Advanced Science Letters 2 2 291–301 Andreas Döring Chris Isham 2011 Classical and Quantum Probabilities as Truth Values ArXiv:1102.2213 Andreas Döring Chris Isham 2011 `What is a Thing?': Topos Theory in the Foundations of Physics Bob Coecke New Structures for Physics 13 Lecture Notes in Physics 813 Springer Verlag

Berlin Heidelberg

753–937 10.1007/978-3-642-12821-9_13 ArXiv:0803.0417v1. M.P. Fourman D.S. Scott 1979 Sheaves and Logic M.P. Fourman C.J. Mulvey D.S. Scott Applications of Sheaves Lecture Notes in Mathematics 753 Springer-Verlag 302–401 10.1007/BFb0061824 M. Giry 1981 A Categorical Approach to Probability Theory Categorical Aspects of Topology and Analysis Lecture Notes in Mathematics 915 Springer-Verlag

Berlin

68–85 10.1007/s11225-010-9232-z Reinhold Heckmann 1994 Probabilistic Power Domains, Information Systems, and Locales Stephen Brookes Michael Main Austin Melton David Schmidt Mathematical Foundations in Programming Semantics – 9th International Conference, 1993 Lecture Notes in Computer Science 802 Springer

Berlin / Heidelberg

410–437 Chris Heunen Nicolaas P. Landsman Bas Spitters 2008 The Principle of General Tovariance Rui Loja Fernandez Roger Picken Geometry and Physics, XVI International Fall Workshop, Lisbon, Portugal, 5-8 September 2007 AIP Conference Proceedings, Mathematical and Statistical Physics 1023 Springer Chris Heunen Nicolaas P. Landsman Bas Spitters 2009 A Topos for Algebraic Quantum Theory Communications in Mathematical Physics 291 1 63–110 10.1007/s00220-009-0865-6 Chris Heunen Nicolaas P. Landsman Bas Spitters 2010 Bohrification of Operator Algebras and Quantum Logic ArXiv:quant-ph/0905.2275v4 C.J. Isham J. Butterfield 1998 Topos Perspectives on the Kochen-Specker Theorem I. Quantum States as Generalized Valuations International Journal of Theoretical Physics 37 11 2669–2733 10.1023/A:1026680806775 C.J. Isham J. Butterfield 1999 Topos Perspectives on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues International Journal of Theoretical Physics 38 3 827–859 10.1023/A:1026652817988 P.T. Johnstone 1993 Fibrations and Partial Products in a 2-category Applied Categorical Structures 1 141–179 10.1007/BF00880041 C. Jones G. Plotkin 1989 A Probabilistic Powerdomain of Evaluations LICS '89 IEEE Computer Society Press 186–195 A. Joyal M. Tierney 1984 An Extension of the Galois Theory of Grothendieck Memoirs of the American Mathematical Society 309 Simon Kochen Ernst Specker 1967 The problem of hidden variables in quantum mechanics Journal of Mathematics and Mechanics 17 59–87 Bas Spitters 2010 The space of Measurement Outcomes as a Spectrum for Non-Commutative Algebras S. Barry Cooper Prakash Panangaden Elham Kashefi Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics (DCM 2010) Electronic Proceedings in Theoretical Computer Science 26 127–134 10.4204/EPTCS.26.12 Ross Street 1974 Fibrations and Yoneda's Lemma in a 2-category G.M. Kelly Category Seminar Sydney 1972/73 Lecture Notes in Mathematics 420 104–133 Steven Vickers 2008 A Localic Theory of Lower and Upper Integrals Mathematical Logic Quarterly 54 1 109–123 10.1002/malq.200710028 Steven Vickers 2011 Continuity is Geometricity Talk given at workshop ``Logic, Categories, Semantics'' at Bordeaux, November 2010. Preprint at http://www.cs.bham.ac.uk/~sjv/GeoAspects.pdf Steven Vickers 2011 A Monad of Valuation Locales Preprint at http://www.cs.bham.ac.uk/~sjv/Riesz.pdf