@inproceedings(abramskycoecke:categoricalsemantics,
author = {S. Abramsky and B. Coecke},
year = {2004},
title = {{A categorical semantics of quantum protocols}},
booktitle = {Logic in Computer Science 19},
publisher = {IEEE Computer Society},
pages = {415--425},
doi = {10.1109/lics.2004.1319636},
)
@article(barnum2013symmetry,
author = {Howard Barnum and Ross Duncan and Alexander Wilce},
year = {2013},
title = {Symmetry, compact closure and dagger compactness for categories of convex operational models},
journal = {Journal of philosophical logic},
volume = {42},
number = {3},
pages = {501--523},
doi = {10.1007/s10992-013-9280-8},
)
@article(Barrett2007InfoGPTs,
author = {J. Barrett},
year = {2007},
title = {{Information processing in generalized probabilistic theories}},
journal = {Physical Review A - Atomic, Molecular, and Optical Physics},
volume = {75},
number = {3},
doi = {10.1103/PhysRevA.75.032304},
)
@article(carboni1987cartesian,
author = {A. Carboni and R. Walters},
year = {1987},
title = {Cartesian bicategories {I}},
journal = {Journal of pure and applied algebra},
volume = {49},
number = {1-2},
pages = {11--32},
doi = {10.1016/0022-4049(87)90121-6},
)
@article(chiribella2014distinguishability,
author = {G. Chiribella},
year = {2014},
title = {Distinguishability and copiability of programs in general process theories},
note = {{arXiv:1411.3035}},
)
@article(chiribella2010purification,
author = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
year = {2010},
title = {{Probabilistic theories with purification}},
journal = {Physical Review A},
volume = {81},
number = {6},
pages = {62348},
doi = {10.1103/physreva.81.062348},
)
@article(PhysRevA.84.012311InfoDerivQT,
author = {G. Chiribella and G. M. D'Ariano and P. Perinotti},
year = {2011},
title = {{Informational derivation of quantum theory}},
journal = {Phys. Rev. A},
volume = {84},
number = {1},
pages = {12311},
doi = {10.1103/PhysRevA.84.012311},
)
@article(coecke2008axiomatic,
author = {B. Coecke},
year = {2008},
title = {Axiomatic description of mixed states from {S}elinger's {CPM}-construction},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {210},
pages = {3--13},
doi = {10.1016/j.entcs.2008.04.014},
)
@incollection(coecke2011categories,
author = {B. Coecke and E. Paquette},
year = {2011},
title = {{Categories for the practising physicist}},
booktitle = {New Structures for Physics},
publisher = {Springer Berlin Heidelberg},
pages = {173--286},
doi = {10.1007/978-3-642-12821-9_3},
)
@inproceedings(cunningham2017purity,
author = {O. Cunningham and C. Heunen},
year = {2018},
title = {Purity through Factorisation},
booktitle = {{Proceedings of the 14th International Conference on} Quantum Physics and Logic},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {266},
pages = {315--328},
doi = {10.4204/EPTCS.266.20},
)
@article(Hardy2011a,
author = {L. Hardy},
year = {2011},
title = {{Reformulating and Reconstructing Quantum Theory}},
note = {{arXiv:1104.2066}},
)
@article(Hardy2012Holism,
author = {L. Hardy and W. Wootters},
year = {2012},
title = {{Limited Holism and Real-Vector-Space Quantum Theory}},
journal = {Foundations of Physics},
volume = {42},
number = {3},
pages = {454--473},
doi = {10.1007/s10701-011-9616-6},
)
@inproceedings(CatsOfRelations,
author = {C. Heunen and S. Tull},
year = {2015},
title = {Categories of relations as models of quantum theory},
booktitle = {{ Proceedings of the 12th International Workshop on} Quantum Physics and Logic},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {195},
pages = {247--261},
doi = {10.4204/EPTCS.195.18},
)
@article(selby2018reconstructing,
author = {J. H. Selby and C. M. Scandolo and B. Coecke},
year = {2018},
title = {Reconstructing quantum theory from diagrammatic postulates},
note = {{arXiv:1802.00367}},
)
@article(selby2016process,
author = {John Selby and Bob Coecke},
year = {2016},
title = {Process-theoretic characterisation of the Hermitian adjoint},
journal = {arXiv preprint arXiv:1606.05086},
)
@article(Selinger2007139,
author = {P. Selinger},
year = {2007},
title = {{Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)}},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {170},
pages = {139--163},
doi = {10.1016/j.entcs.2006.12.018},
)
@incollection(selinger2011survey,
author = {P. Selinger},
year = {2011},
title = {{A survey of graphical languages for monoidal categories}},
booktitle = {New structures for physics},
publisher = {Springer},
pages = {289--355},
)
@article(selinger2012finite,
author = {Peter Selinger},
year = {2012},
title = {Finite dimensional Hilbert spaces are complete for dagger compact closed categories},
journal = {arXiv preprint arXiv:1207.6972},
)
@article(thesis,
author = {S. Tull},
year = {2018},
title = {Categorical {O}perational {P}hysics. {DP}hil Thesis.},
note = {{arXiv:1902.00343}},
)
@article(catreconstruction,
author = {S. Tull},
year = {2019},
title = {A Categorical Reconstruction of Quantum Theory},
journal = {Logical Methods in Computer Science},
)
@article(westerbaan2018dagger,
author = {B. Westerbaan},
year = {2018},
title = {Dagger and dilations in the category of von {N}eumann algebras},
note = {PhD Thesis. {arXiv:1803.01911}},
)