@inproceedings(AbramskyCoecke2004:CategoricalSemantics,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A Categorical Semantics of Quantum Protocols},
 booktitle    = {Symposium on Logic in Computer Science},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@inbook(AbramskyHeunen2012:HAlgebras,
 author       = {Samson Abramsky and Chris Heunen},
 year         = {2012},
 title        = {H*--algebras and nonunital Frobenius algebras: First steps in infinite dimensional categorical quantum mechanics},
 pages        = {14--37},
 volume       = {71},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/psapm/071},
)
@book(AdamekEtAl1990:JoyOfCats,
 author       = {Jiri Adamek and Horst Herrlich and George E. Strecker},
 year         = {2009},
 title        = {Abstract and Concrete Categories: the Joy of Cats},
 publisher    = {Dover},
)
@inproceedings(Ambrose1945:StructureTheorems,
 author       = {Warren Ambrose},
 year         = {1945},
 title        = {Structure Theorems for a Special Class of Banach Algebras},
 booktitle    = {Transactions of the American Mathematical Society},
 volume       = {57},
 pages        = {364--386},
 doi          = {10.1090/S0002-9947-1945-0013235-8},
)
@article(Birkhoff1944:Subdirect,
 author       = {Garrett Birkhoff},
 year         = {1944},
 title        = {Subdirect unions in universal algebra},
 journal      = {Bull. Amer. Math. Soc.},
 volume       = {50},
 number       = {10},
 pages        = {764--768},
 doi          = {10.1090/S0002-9904-1944-08235-9},
)
@incollection(Bohr1949:DiscussionWithEinstein,
 author       = {Niels Bohr},
 year         = {1949},
 title        = {Discussion with {E}instein on Epistemological Problems in Atomic Physics},
 editor       = {Paul Arthur Schilpp},
 booktitle    = {The Library of Living Philosophers, Volume 7. Albert {E}instein: Philosopher-Scientist},
 publisher    = {Open Court},
 doi          = {10.1016/S1876-0503(08)70379-7},
)
@inproceedings(CoeckeEtAl2008:NewDescriptionOrthogonal,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 booktitle    = {Mathematical Structures in Computer Science},
 volume       = {23},
 pages        = {555--567},
 doi          = {10.1017/S0960129512000047},
)
@book(Conway2000:ACourseInOperatorTheory,
 author       = {John B. Conway},
 year         = {2000},
 title        = {A Course in Operator Theory},
 series       = {Graduate Studies in Mathematics},
 volume       = {21},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/gsm/021},
)
@incollection(DoeringIsham2008:WhatIsAthing,
 author       = {Andreas Doering and Chris Isham},
 year         = {2011},
 title        = {What is a Thing?},
 editor       = {Bob Coecke},
 booktitle    = {New Structures in Physics},
 chapter      = {13},
 publisher    = {Springer},
 address      = {Heidelberg},
 pages        = {753--940},
 doi          = {10.1007/978-3-642-12821-9\_13},
)
@inbook(Dunne2016:NewPerspective,
 author       = {Kevin Dunne},
 year         = {2017},
 title        = {A New Perspective on Observables in the Category of Relations: A Spectral Presheaf for Relations},
 pages        = {252--264},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-52289-0\_20},
)
@inproceedings(Dunne2017:SpecPreshKSAndQVR,
 author       = {Kevin Dunne},
 year         = {2017},
 title        = {Spectral Presheaves, {K}ochen--{S}pecker Contextuality, and Quantale--Valued Relations},
 booktitle    = {Quantum Physics and Logic},
)
@book(Flori2013:Topos,
 author       = {Cecilia Flori},
 year         = {2013},
 title        = {A First Course in Topos Quantum Theory},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/978-3-642-35713-8},
)
@book(Golan1992:TheoryOfSemirings,
 author       = {Jonathan S Golan},
 year         = {1992},
 title        = {The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science},
 publisher    = {Longman Group UK Ltd.},
)
@article(Harding2008:OrthomodularityInDaggerBiproduct,
 author       = {John Harding},
 year         = {2008},
 title        = {Orthomodularity in Dagger Biproduct Categories},
 journal      = {Unpublished Manuscript},
)
@inproceedings(Heunen2008:SemimoduleEnrichment,
 author       = {Chris Heunen},
 year         = {2008},
 title        = {Semimodule Enrichment},
 booktitle    = {Electr. Notes Theor. Comput. Sci.},
 volume       = {218},
 doi          = {10.1016/j.entcs.2008.10.012},
)
@article(HeunenJacobs2011:QuantumLogicInDagger,
 author       = {Chris Heunen and Bart Jacobs},
 year         = {2011},
 title        = {Quantum Logic in Dagger Kernel Categories},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {270},
 number       = {2},
 pages        = {79--103},
 doi          = {10.1016/j.entcs.2011.01.024},
)
@inproceedings(IshamButterfield1998:AToposPerspective,
 author       = {Chris Isham and Jeremy Butterfield},
 year         = {1998},
 title        = {A Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations},
 url          = {arXiv:quant-ph/9803055},
)
@inproceedings(KellyLaplaza1980:CoherenceForCompact,
 author       = {Gregory M. Kelly and Miguel L. Laplaza},
 year         = {1980},
 title        = {Coherence for Compact Closed Categories},
 booktitle    = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@inproceedings(KochenSpecker1975:LogicalStructures,
 author       = {S. Kochen and E. P. Specker},
 year         = {1975},
 title        = {Logical Structures Arising in Quantum Theory},
 booktitle    = {The Logico-Algebraic Approach to Quantum Mechanics},
 pages        = {263--276},
 doi          = {10.1007/978-94-010-1795-4\_15},
)
@book(Mitchell1965:TheoryOfCategories,
 author       = {Barry Mitchell},
 year         = {1965},
 title        = {Theory of Categories},
 publisher    = {New York Academic Press},
)
@book(Nestruev2003:SmoothManifoldsAndObservables,
 author       = {Jet Nestruev},
 year         = {2003},
 title        = {Smooth Manifolds and Observables},
 series       = {Graduate Texts in Mathematics},
 volume       = {220},
 publisher    = {Springer--Verlag New York, Inc.},
 doi          = {10.1007/b98871},
)
@incollection(Selinger2011:Survey,
 author       = {Peter Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 editor       = {Bob Coecke},
 booktitle    = {New Structures in Physics},
 chapter      = {4},
 publisher    = {Springer},
 address      = {Heidelberg},
 pages        = {289--335},
 doi          = {10.1007/978-3-642-12821-9\_4},
)