@inproceedings(abramsky_coecke,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(ashoush,
 author       = {Daniela Ashoush and Bob Coecke},
 year         = {2016},
 title        = {Dual Density Operators and Natural Language Meaning},
 journal      = {EPTCS},
 volume       = {221},
 pages        = {1--10},
 doi          = {10.4204/EPTCS.221.1},
)
@article(beckmann_equivariant,
 author       = {Thorsten Beckmann and Georg Oberdieck},
 year         = {2020},
 title        = {Notes on equivariant categories},
 journal      = {arXiv preprint},
 volume       = {arXiv:2006.13626},
)
@book(bourbaki_algebra,
 author       = {Nicolas Bourbaki},
 year         = {2003},
 title        = {Algebra II},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/978-3-642-61698-3},
)
@article(coecke2016terminality,
 author       = {Bob Coecke},
 year         = {2016},
 title        = {Terminality implies no-signalling... and much more than that},
 journal      = {New Generation Computing},
 volume       = {34},
 number       = {1-2},
 pages        = {69--85},
 doi          = {10.1007/s00354-016-0201-6},
)
@article(coecke_zx,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@article(coecke_cp,
 author       = {Bob Coecke and Chris Heunen and Aleks Kissinger},
 year         = {2016},
 title        = {Categories of quantum and classical channels},
 journal      = {Quantum Inf. Process.},
 volume       = {15},
 pages        = {5179\IeC{\textendash}5209},
 doi          = {10.1007/s11128-014-0837-4},
)
@book(coecke_kissinger_2017,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(coecke_double,
 author       = {Bob Coecke and Konstantinos Meichanetzidis},
 year         = {2020},
 title        = {Meaning Updating of Density Matrices},
 journal      = {arXiv preprint},
 volume       = {arXiv:2001.00862v1},
)
@article(coecke_bases,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 number       = {3},
 pages        = {555--567},
 doi          = {10.1017/S0960129512000047},
)
@article(coecke_environment,
 author       = {Bob Coecke and Simon Perdrix},
 year         = {2012},
 title        = {Environment and classical channels in categorical quantum mechanics},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 doi          = {10.2168/LMCS-8(4:14)2012},
)
@article(coecke_classicality,
 author       = {Bob Coecke and John Selby and Sean Tull},
 year         = {2018},
 title        = {Two Roads to Classicality},
 journal      = {EPTCS},
 volume       = {266},
 pages        = {104\IeC{\textendash}118},
 doi          = {10.4204/eptcs.266.7},
)
@article(Cunningham_cp,
 author       = {Oscar Cunningham and Chris Heunen},
 year         = {2015},
 title        = {Axiomatizing complete positivity},
 journal      = {EPTCS},
 volume       = {195},
 pages        = {148\IeC{\textendash}157},
 doi          = {10.4204/eptcs.195.11},
)
@article(elagin_equivariant,
 author       = {Alexey Elagin},
 year         = {2015},
 title        = {On equivariant triangulated categories},
 journal      = {arXiv preprint},
 volume       = {arXiv:1403.7027},
)
@article(ellison1,
 author       = {William Ellison},
 year         = {1970-1971},
 title        = {Waring's Problem for Fields},
 journal      = {S\'eminaire de th\'eorie des nombres de Bordeaux},
 pages        = {1--8},
 url          = {www.numdam.org/item/STNB_1970-1971____A8_0/},
)
@article(ellison2,
 author       = {William Ellison},
 year         = {2013},
 title        = {Waring's problem for fields},
 journal      = {arXiv preprint},
 volume       = {arXiv:1303.4818},
)
@article(ganter_symmetric,
 author       = {Nora Ganter and Mikhail Kapranov},
 year         = {2014},
 title        = {Symmetric and Exterior Powers of Categories},
 journal      = {Transformation Groups},
 volume       = {19},
 pages        = {57--103},
 doi          = {10.1007/s00031-014-9255-z},
)
@article(gogioso_fantastic,
 author       = {Stefano Gogioso},
 year         = {2017},
 title        = {Fantastic Quantum Theories and Where to Find Them},
 journal      = {arXiv Preprint},
 volume       = {arXiv:1703.10576},
)
@article(gogioso_cpm,
 author       = {Stefano Gogioso},
 year         = {2019},
 title        = {Higher-order CPM Constructions},
 journal      = {EPTCS},
 volume       = {287},
 pages        = {145--162},
 doi          = {10.4204/EPTCS.287.8},
)
@article(gogioso_hiddensubgroup,
 author       = {Stefano Gogioso and Aleks Kissinger},
 year         = {2017},
 title        = {Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem},
 journal      = {arXiv preprint},
 volume       = {arXiv:1701.08669},
)
@inproceedings(gogioso_hyper,
 author       = {Stefano Gogioso and Carlo Maria Scandolo},
 year         = {2019},
 title        = {Density Hypercubes, Higher Order Interference and Hyper-decoherence: A Categorical Approach},
 booktitle    = {Quantum Interaction},
 publisher    = {Springer International Publishing},
 pages        = {141--160},
 doi          = {10.1007/978-3-030-35895-2\textunderscore10},
)
@article(gogioso2015fourier,
 author       = {Stefano Gogioso and William Zeng},
 year         = {2015},
 title        = {Fourier transforms from strongly complementary observables},
 journal      = {arXiv Preprint},
 volume       = {arXiv:1501.04995},
)
@article(hefford_hypercubes,
 author       = {James Hefford and Stefano Gogioso},
 year         = {2020},
 title        = {Hyper-decoherence in Density Hypercubes},
 journal      = {arXiv preprint},
 volume       = {arXiv:2003.08318},
)
@book(heunen_categories,
 author       = {Chris Heunen and Jamie Vicary},
 year         = {2019},
 title        = {Categories for Quantum Theory: An Introduction},
 publisher    = {Oxford University Press},
 doi          = {10.1093/oso/9780198739623.001.0001},
)
@book(jacobson_algebra,
 author       = {Nathan Jacobson},
 year         = {1989},
 title        = {Basic Algebra II: Second Edition},
 publisher    = {W. H. Freeman and Company},
)
@article(lack_props,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing PROPs},
 journal      = {Theory and Applications of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
)
@article(lee_interference,
 author       = {Ciar\'an M. Lee and John H. Selby},
 year         = {2017},
 title        = {Higher-Order Interference in Extensions of Quantum Theory},
 journal      = {Found Phys},
 volume       = {47},
 pages        = {89--112},
 doi          = {10.1007/s10701-016-0045-4},
)
@article(lee_nogo,
 author       = {Ciar\'an M. Lee and John H. Selby},
 year         = {2018},
 title        = {A no-go theorem for theories that decohere to quantum mechanics},
 journal      = {Proc. R. Soc. A},
 volume       = {474},
 number       = {20170732},
 doi          = {10.1098/rspa.2017.0732},
)
@article(piedeleu,
 author       = {Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh},
 year         = {2015},
 title        = {Open System Categorical Quantum Semantics in Natural Language Processing},
 journal      = {arXiv preprint},
 volume       = {arXiv:1502.00831},
)
@book(rotman_algebra,
 author       = {Joseph J. Rotman},
 year         = {2002},
 title        = {Advanced Modern Algebra},
 publisher    = {Prentice Hall},
)
@article(Selby_coherence,
 author       = {John H. Selby and Ciar{\'{a}}n M. Lee},
 year         = {2020},
 title        = {Compositional resource theories of coherence},
 journal      = {{Quantum}},
 volume       = {4},
 pages        = {319},
 doi          = {10.22331/q-2020-09-11-319},
)
@article(selinger_cpm,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger Compact Closed Categories and Completely Positive Maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(selinger_idempotents,
 author       = {Peter Selinger},
 year         = {2008},
 title        = {Idempotents in Dagger Categories: (Extended Abstract)},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {107--122},
 doi          = {10.1016/j.entcs.2008.04.021},
)
@article(shinder_groupactions,
 author       = {Evgeny Shinder},
 year         = {2018},
 title        = {Group actions on categories and Elagin\IeC{\textquoteright}s theorem revisited},
 journal      = {European Journal of Mathematics},
 volume       = {4},
 pages        = {413--422},
 doi          = {10.1007/s40879-017-0150-8},
)
@article(siegel,
 author       = {Carl Siegel},
 year         = {1921},
 title        = {Darstellung total positiver Zahlen durch Quadrate},
 journal      = {Math Z},
 volume       = {11},
 pages        = {246--275},
 doi          = {10.1007/BF01203627},
)
@inproceedings(vicary_topology,
 author       = {Jamie Vicary},
 year         = {2013},
 title        = {Topological Structure of Quantum Algorithms},
 booktitle    = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
 pages        = {93--102},
 doi          = {10.1109/LICS.2013.14},
)
@article(coecke_dilation,
 author       = {Maaike Zwart and Bob Coecke},
 year         = {2018},
 title        = {Double Dilation $\not=$ Double Mixing},
 journal      = {EPTCS},
 volume       = {266},
 pages        = {133--146},
 doi          = {10.4204/EPTCS.266.9},
)
@article(zyczkowski_quartic,
 author       = {Karol \.{Z}yczkowski},
 year         = {2008},
 title        = {Quartic quantum theory: an extension of the standard quantum mechanics},
 journal      = {J. Phys. A: Math. Theor.},
 volume       = {41},
 number       = {355302},
 doi          = {10.1088/1751-8113/41/35/355302},
)