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.
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.
In: Transactions of the American Mathematical Society 57,
pp. 364–386,
doi:10.1090/S0002-9947-1945-0013235-8.
Garrett Birkhoff (1944):
Subdirect unions in universal algebra.
Bull. Amer. Math. Soc. 50(10),
pp. 764–768,
doi:10.1090/S0002-9904-1944-08235-9.
Niels Bohr (1949):
Discussion with Einstein on Epistemological Problems in Atomic Physics.
In: Paul Arthur Schilpp: The Library of Living Philosophers, Volume 7. Albert Einstein: Philosopher-Scientist.
Open Court,
doi:10.1016/S1876-0503(08)70379-7.
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):
Spectral Presheaves, Kochen–Specker Contextuality, and Quantale–Valued Relations.
In: Quantum Physics and Logic.
Cecilia Flori (2013):
A First Course in Topos Quantum Theory.
Springer-Verlag Berlin Heidelberg,
doi: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 & Bart Jacobs (2011):
Quantum Logic in Dagger Kernel Categories.
Electr. Notes Theor. Comput. Sci. 270(2),
pp. 79–103,
doi: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.
Available at arXiv:quant-ph/9803055.
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.
Peter Selinger (2011):
A Survey of Graphical Languages for Monoidal Categories.
In: Bob Coecke: New Structures in Physics, chapter 4.
Springer,
Heidelberg,
pp. 289–335,
doi:10.1007/978-3-642-12821-9_4.
eptcs@eptcs.org