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