Samson Abramsky
Bob Coecke
2004
A Categorical Semantics of Quantum Protocols
Symposium on Logic in Computer Science
415–425
10.1109/LICS.2004.1319636
Samson Abramsky
Chris Heunen
2012
H*–algebras and nonunital Frobenius algebras: First steps in infinite dimensional categorical quantum mechanics
14–37
71
American Mathematical Society
10.1090/psapm/071
Jiri Adamek
Horst Herrlich
George E. Strecker
2009
Abstract and Concrete Categories: the Joy of Cats
Dover
Warren Ambrose
1945
Structure Theorems for a Special Class of Banach Algebras
Transactions of the American Mathematical Society
57
364–386
10.1090/S0002-9947-1945-0013235-8
Garrett Birkhoff
1944
Subdirect unions in universal algebra
Bull. Amer. Math. Soc.
50
10
764–768
10.1090/S0002-9904-1944-08235-9
Niels Bohr
1949
Discussion with Einstein on Epistemological Problems in Atomic Physics
Paul Arthur Schilpp
The Library of Living Philosophers, Volume 7. Albert Einstein: Philosopher-Scientist
Open Court
10.1016/S1876-0503(08)70379-7
Bob Coecke
Dusko Pavlovic
Jamie Vicary
2013
A new description of orthogonal bases
Mathematical Structures in Computer Science
23
555–567
10.1017/S0960129512000047
John B. Conway
2000
A Course in Operator Theory
Graduate Studies in Mathematics
21
American Mathematical Society
10.1090/gsm/021
Andreas Doering
Chris Isham
2011
What is a Thing?
Bob Coecke
New Structures in Physics
13
Springer
Heidelberg
753–940
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
252–264
Springer International Publishing
10.1007/978-3-319-52289-0_20
Kevin Dunne
2017
Spectral Presheaves, Kochen–Specker Contextuality, and Quantale–Valued Relations
Quantum Physics and Logic
Cecilia Flori
2013
A First Course in Topos Quantum Theory
Springer-Verlag Berlin Heidelberg
10.1007/978-3-642-35713-8
Jonathan S Golan
1992
The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science
Longman Group UK Ltd.
John Harding
2008
Orthomodularity in Dagger Biproduct Categories
Unpublished Manuscript
Chris Heunen
2008
Semimodule Enrichment
Electr. Notes Theor. Comput. Sci.
218
10.1016/j.entcs.2008.10.012
Chris Heunen
Bart Jacobs
2011
Quantum Logic in Dagger Kernel Categories
Electr. Notes Theor. Comput. Sci.
270
2
79–103
10.1016/j.entcs.2011.01.024
Chris Isham
Jeremy Butterfield
1998
A Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations
arXiv:quant-ph/9803055
Gregory M. Kelly
Miguel L. Laplaza
1980
Coherence for Compact Closed Categories
Journal of Pure and Applied Algebra
19
193–213
10.1016/0022-4049(80)90101-2
S. Kochen
E. P. Specker
1975
Logical Structures Arising in Quantum Theory
The Logico-Algebraic Approach to Quantum Mechanics
263–276
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.
10.1007/b98871
Peter Selinger
2011
A Survey of Graphical Languages for Monoidal Categories
Bob Coecke
New Structures in Physics
4
Springer
Heidelberg
289–335
10.1007/978-3-642-12821-9_4