@inproceedings(CQM2004,
 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}},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(araki1980characterization,
 author       = {Huzihiro Araki},
 year         = {1980},
 title        = {On a characterization of the state space of quantum mechanics},
 journal      = {Communications in Mathematical Physics},
 volume       = {75},
 number       = {1},
 pages        = {1--24},
 doi          = {10.1007/BF01962588},
)
@article(bergia1980actual,
 author       = {Silvio Bergia and Francesco Cannata and Alfonso Cornia and Roberto Livi},
 year         = {1980},
 title        = {On the actual measurability of the density matrix of a decaying system by means of measurements on the decay products},
 journal      = {Foundations of Physics},
 volume       = {10},
 number       = {9-10},
 pages        = {723--730},
 doi          = {10.1007/BF00708418},
)
@article(Chiri2,
 author       = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
 year         = {2011},
 title        = {Informational derivation of quantum theory},
 journal      = {Physical Review A},
 volume       = {84},
 number       = {1},
 pages        = {012311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(CoeckeGenoveseLewisMarsdenToumi2018,
 author       = {B. Coecke and F. Genovese and M. Lewis and D. Marsden and A.Toumi},
 year         = {2018},
 title        = {Generalized Relations in Linguistics \& Cognition},
 journal      = {Theoretical Computer Science},
 doi          = {10.1016/j.tcs.2018.03.008},
)
@article(DisCoCat2010,
 author       = {B. Coecke and M. Sadrzadeh and S. Clark},
 year         = {2010},
 title        = {Mathematical Foundations for Distributed Compositional Model of Meaning. {L}ambek Festschrift},
 journal      = {Linguistic Analysis},
 volume       = {36},
 pages        = {345--384},
)
@article(Uniqueness2017,
 author       = {Bob Coecke and Fabrizio Genovese and Stefano Gogioso and Dan Marsden and Robin Piedeleu},
 year         = {2017},
 title        = {{Uniqueness of Composition in Quantum Theory and Linguistics}},
 journal      = {{EPTCS (QPL 2017)}},
 volume       = {266},
 doi          = {10.4204/EPTCS.266.17},
)
@book(PQP2017,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {{Picturing Quantum Processes}},
 publisher    = {{Cambridge University Press}},
 doi          = {10.1017/9781316219317},
)
@article(Eilenberg1960,
 author       = {Samuel Eilenberg},
 year         = {1960},
 title        = {Abstract description of some basic functors},
 journal      = {J. Indian Math. Soc},
 volume       = {24},
 pages        = {231--234},
)
@article(FantasticQT2017,
 author       = {Stefano Gogioso},
 year         = {2017},
 title        = {{Fantastic Quantum Theories and Where to Find Them}},
)
@article(HardyAxiom,
 author       = {L. Hardy},
 year         = {2001},
 title        = {Quantum theory from five reasonable axioms},
 journal      = {arXiv:quant-ph/0101012},
)
@book(HofmannSealTholen2014,
 author       = {Dirk Hofmann and Gavin J Seal and Walter Tholen},
 year         = {2014},
 title        = {Monoidal Topology: A Categorical Approach to Order, Metric, and Topology},
 volume       = {153},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107517288},
)
@incollection(Kelly,
 author       = {G. M. Kelly},
 year         = {1972},
 title        = {Many-variable functorial calculus {I}},
 editor       = {G. M. Kelly and M. Laplaza and G. Lewis and S. Mac Lane},
 booktitle    = {Coherence in Categories},
 series       = {Lecture Notes in Mathematics},
 volume       = {281},
 publisher    = {Springer-Verlag},
 pages        = {66--105},
 doi          = {10.1007/BFb0059556},
)
@article(KellyLaplaza,
 author       = {G. M. Kelly and M. L. Laplaza},
 year         = {1980},
 title        = {Coherence for compact closed categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@article(Lawvere1973,
 author       = {F William Lawvere},
 year         = {1973},
 title        = {Metric spaces, generalized logic, and closed categories},
 journal      = {Rendiconti del seminario mat{\'e}matico e fisico di Milano},
 volume       = {43},
 number       = {1},
 pages        = {135--166},
 doi          = {10.1007/BF02924844},
)
@article(selby2018reconstructing,
 author       = {John H Selby and Carlo Maria Scandolo and Bob Coecke},
 year         = {2018},
 title        = {Reconstructing quantum theory from diagrammatic postulates},
 journal      = {arXiv preprint arXiv:1802.00367},
)
@article(Watts1960,
 author       = {Charles E Watts},
 year         = {1960},
 title        = {Intrinsic characterizations of some additive functors},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {11},
 number       = {1},
 pages        = {5--8},
 doi          = {10.1090/S0002-9939-1960-0118757-0},
)