Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal & Shane Mansfield (2015):
Contextuality, Cohomology and Paradox.
In: Annual Conference on Computer Science Logic,
pp. 211–228,
doi:10.4230/LIPIcs.CSL.2015.211.
Samson Abramsky & Adam Brandenburger (2011):
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality.
CoRR abs/1102.0264.
Available at http://stacks.iop.org/1367-2630/13/i=11/a=113036.
Samson Abramsky & Bob Coecke (2004):
A Categorical Semantics of Quantum Protocols.
In: Symposium on Logic in Computer Science,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
Samson Abramsky & Chris Heunen (2012):
H* -algebras and nonunital Frobenius algebras: First steps in infinite dimensional categorical quantum mechanics,
pp. 14–37 71.
American Mathematical Society,
doi:10.1090/psapm/071.
Niels Bohr (1949):
Discussion with Einstein on Epistemological Problems in Atomic Physics.
In: Paul Arthur Schilpp: The Library of Living Philosophers, Albert Einstein: Philosopher-Scientist 7.
Open Court,
doi:10.1016/s1876-0503(08)70379-7.
Bob Coecke & Bill Edwards (2011):
Toy Quantum Categories (Extended Abstract).
In: Electr. Notes Theor. Comput. Sci. 270,
pp. 29–40,
doi:10.1016/j.entcs.2011.01.004.
Bob Coecke, Dusko Pavlovic & Jamie Vicary (2013):
A new description of orthogonal bases.
In: Mathematical Structures in Computer Science 23,
pp. 555–567,
doi:10.1017/s0960129512000047.
John B. Conway (2000):
A Course in Operator Theory.
Graduate Studies in Mathematics 21.
American Mathematical Society,
doi:10.1090/gsm/021.
Andreas Doering & Chris Isham (2011):
What is a Thing?.
In: Bob Coecke: New Structures in Physics, chapter 13.
Springer,
Heidelberg,
pp. 753–940,
doi:10.1007/978-3-642-12821-9_13.
Kevin Dunne (2017):
A New Perspective on Observables in the Category of Relations: A Spectral Presheaf for Relations,
pp. 252–264.
Springer International Publishing,
doi:10.1007/978-3-319-52289-0_20.
Kevin Dunne (2017):
On the Structure of Abstract H*–Algebras.
In: Quantum Physics and Logic.
Cecilia Flori (2013):
A First Course in Topos Quantum Theory.
Springer–Verlag,
doi:10.1007/978-3-642-35713-8.
Steven Givant & Paul Halmos (2009):
Introduction to Boolean Algebras.
Springer–Verlag,
doi:10.1007/978-0-387-68436-9_2.
Stefano Gogioso & William Zeng (2015):
Mermin Non-Locality in Abstract Process Theories.
In: Proceedings 12th International Workshop on Quantum Physics and Logic,
pp. 228–246,
doi:10.4204/eptcs.195.17.
Jonathan S Golan (1992):
The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science.
Longman Group UK Limited.
Chris Heunen (2008):
Semimodule Enrichment.
In: Electr. Notes Theor. Comput. Sci. 218,
pp. 193–208,
doi:10.1016/j.entcs.2008.10.012.
Chris Isham & Jeremy Butterfield:
A Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations.
Available at arXiv:quant-ph/9803055.
Chris J. Isham (1995):
Lectures on Quantum Theory: Mathematical and Structural Foundations.
Imperial College Press,
doi:10.1142/p00.
Peter T. Johnstone (1982):
Stone Spaces.
Cambridge University Press.
Gregory M. Kelly & Miguel L. Laplaza (1980):
Coherence for Compact Closed Categories.
In: Journal of Pure and Applied Algebra 19,
pp. 193–213,
doi:10.1016/0022-4049(80)90101-2.
S. Kochen & E. P. Specker (1975):
Logical Structures Arising in Quantum Theory.
In: The Logico-Algebraic Approach to Quantum Mechanics,
pp. 263–276,
doi:10.1007/978-94-010-1795-4_15.
Barry Mitchell (1965):
Theory of Categories.
New York Academic Press.
Jet Nestruev (2003):
Smooth Manifolds and Observables.
Graduate Texts in Mathematics 220.
Springer–Verlag New York, Inc.,
doi:10.1007/b98871.
Kimmo .I. Rosenthal (1990):
Quantales and their applications.
Pitman research notes in mathematics series.
Longman Scientific & Technical.
Justin R. Smith (2014):
Introduction to Algebraic Geometry.
Five Dimensions Press.
Robert W. Spekkens (2007):
Evidence for the epistemic view of quantum states.
In: Phys. Rev. A 75,
doi:10.1103/physreva.75.032110.
eptcs@eptcs.org