Effect Algebras, Presheaves, Non-locality and Contextuality

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9135)

Abstract

Non-locality and contextuality are among the most counterintuitive aspects of quantum theory. They are difficult to study using classical logic and probability theory. In this paper we start with an effect algebraic approach to the study of non-locality and contextuality. We will see how different slices over the category of set valued functors on the natural numbers induce different settings in which non-locality and contextuality can be studied. This includes the Bell, Hardy and Kochen-Specker-type paradoxes. We link this to earlier sheaf theoretic approaches by defining a fully faithful embedding of the category of effect algebras in this presheaf category over the natural numbers.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys 13 (2011)Google Scholar
  2. 2.
    Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. CUPGoogle Scholar
  3. 3.
    Brotherston, J., Calcagno, C.: Classical BI: Its semantics and proof theory. Log. Meth. Comput. Sci. 6(3) (2010)Google Scholar
  4. 4.
    Calcagno, C., O’Hearn, P.W., Yang: H.: Local action and abstract separation logic. In: Proc. LICS 2007, pp. 366–378 (2007)Google Scholar
  5. 5.
    Dvurečenskij, A., Pulmannová, S.: New trends in quantum structures. KluwerGoogle Scholar
  6. 6.
    Engesser, K., Gabbay, D.M., Lehmann, D. (eds.): Handbook of Quantum Logic and Quantum Structures: Quantum Structures. Elsevier (2007)Google Scholar
  7. 7.
    Fiore, M.P., Plotkin, G.D., Turi, D.: Abstract syntax and variable binding. In: Proc. LICS 1999 (1999)Google Scholar
  8. 8.
    Foulis, D.J., Bennett, M.K.: Tensor products of orthoalgebras. Order 10, 271–282Google Scholar
  9. 9.
    Foulis, D.J., Bennett, M.: Effect algebras and unsharp quantum logics. Found. Physics 24(10), 1331–1352 (1994)MATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Hamilton, J., Isham, C.J., Butterfield, J.: Topos perspective on the Kochen-Specker theorem: III. Int. J. Theoret. Phys., 1413–1436 (2000)Google Scholar
  11. 11.
    Jacobs, B., Mandemaker, J.: Coreflections in algebraic quantum logic. Foundations of physics 42(7), 932–958 (2012)MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Jacobs, B.: Probabilities, distribution monads, and convex categories. Theor. Comput. Sci. 2(28) (2011)Google Scholar
  13. 13.
    Johnstone, P.T.: Sketches of an elephant: a topos theory compendium. OUP (2002)Google Scholar
  14. 14.
    Kelly, G.M.: Basic concepts of enriched category theory. CUP (1980)Google Scholar
  15. 15.
    Mac Lane, S., Moerdijk, I.: Sheaves in geometry and logic. Springer-Verlag (1992)Google Scholar
  16. 16.
    Staton, S.: Instances of computational effects. In: Proc. LICS 2013 (2013)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.University of OxfordOxfordEngland, UK
  2. 2.Radboud UniversityNijmegenThe Netherlands

Personalised recommendations