@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},
)