Abstract
Bell’s theorem famously shows that no local theory can account for the predictions of quantum mechanics; while the Kochen-Specker theorem shows the same for non-contextual theories. Non-locality, and increasingly also contextuality, play an important role as computational resources in current work on quantum information. Much has been written on these matters, but there is surprisingly little unanimity even on basic definitions or the inter-relationships among the various concepts and results. We use the mathematical language of sheaves and monads to give a very general and mathematically robust description of the behaviour of systems in which one or more measurements can be selected, and one or more outcomes observed. In particular, we give a unified account of contextuality and non-locality in this setting.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abramsky, S. (2011). The Logic and Topology of Non-locality and Contextuality. In: Calude, C.S., Kari, J., Petre, I., Rozenberg, G. (eds) Unconventional Computation. UC 2011. Lecture Notes in Computer Science, vol 6714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21341-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-21341-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21340-3
Online ISBN: 978-3-642-21341-0
eBook Packages: Computer ScienceComputer Science (R0)