Effect Algebras, Presheaves, Non-locality and Contextuality

  • Sam StatonEmail author
  • Sander Uijlen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9135)


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.


Boolean Algebra Natural Transformation Effect Algebra Global Section Possibility Distribution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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)zbMATHMathSciNetCrossRefGoogle 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)zbMATHMathSciNetCrossRefGoogle 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