Fetching the paper…
Reading the bibliography…
In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics.
S. Eilenberg and J. C. Moore (1965) Adjoint functors and triples. Illinois Journal of Mathematics
1965
Earlier work this paper cites.
F. W. Lawvere (1969) Ordinal sums and equational doctrines. In: Seminar on Triples and Categorical Homology Theory, pages 141–155, Springer Lecture Notes in Mathematics
1969
Earlier work this paper cites.
T. Fox (1976) Coalgebras and cartesian categories. Communications in Algebra
1976
Earlier work this paper cites.
P. T. Johnstone and R. Paré (1978) Indexed categories and their applications. Lecture Notes in mathematics
1978
Earlier work this paper cites.
G. M. Kelly and M. L. Laplaza (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra
1980
Earlier work this paper cites.
D. G. B. J. Dieks (1982) Communication by EPR devices. Physics Letters A
1982
Earlier work this paper cites.
W. Wootters and W. Zurek (1982) A single quantum cannot be cloned. Nature
1982
Earlier work this paper cites.
P. M. Alberti and A. Uhlmann (1983) Stochasticity and Partial Order. Doubly Stochastic Maps and Unitary Mixing. Reidel Publishing Company
1983
Earlier work this paper cites.
J. Lambek and P. J. Scott (1986) Higher Order Categorical Logic. Cambridge University Press
1986
Earlier work this paper cites.
A. Carboni and R. F. C. Walters (1987) Cartesian bicategories I. Journal of Pure and Applied Algebra
1987
Earlier work this paper cites.
P. Freyd and D. Yetter (1989) Braided compact closed categories with applications to low-dimensional topology. Advances in Mathematics
1989
Earlier work this paper cites.
A. K. Ekert (1991) Quantum cryptography based on BellÕs theorem. Physical Review Letters
1991
Earlier work this paper cites.
A. Joyal and R. Street (1991) The geometry of tensor calculus I. Advances in Mathematics
1991
Earlier work this paper cites.
H. Barnum, C. M. Caves, C. A. Fuchs, R. Jozsa and B. Schumacher (1996) Noncommuting mixed states cannot be broadcast. Physical Review Letters,
1996
Cited alongside, same era.
D. Pavlovic (1997) Categorical logic of names and abstraction in action calculus. Mathematical Structures in Computer Science
1997
Cited alongside, same era.
M. A. Nielsen (1999) Conditions for a class of entanglement transformations. Physical Review Letters
1999
Cited alongside, same era.
A. K. Pati and S. L. Braunstein (2000) Impossibility of deleting an unknown quantum state. Nature
2000
Cited alongside, same era.
J. Kock (2003) Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge University Press
2003
Cited alongside, same era.
B. Coecke and D. Pavlovic (2007) Quantum measurements without sums. In: Mathematics of Quantum Computing and Technology, G. Chen, L. Kauffman and S. Lamonaco (eds), pages 567–604. Taylor and Francis. arXiv:quant-ph/0608035
2007
Later among the works it cites.
P. Selinger (2007) Dagger compact categories and completely positive maps. Electronic Notes in Theoretical Computer Science
2007
Later among the works it cites.
S. Abramsky (2008) No-Cloning in categorical quantum mechanics. In: Semantic Techniques for Quantum Computation, I. Mackie and S. Gay (eds), Cambridge University Press
2008
Later among the works it cites.
B. Coecke and R. W. Duncan (2008) Interacting quantum observables. In: Proceedings of the 35th International Colloquium on Automata, Languages and Programming, pages 298–310, Lecture Notes in Computer Science
2008
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
R. Raussendorf, D. E. Browne and H.-J. Briegel (2003) Measurement-based quantum computation on cluster states. Physical Review AÊ
2003
Cited alongside, same era.
S. Abramsky and B. Coecke (2004) A categorical semantics of quantum protocols. In: Proceedings of 19th IEEE conference on Logic in Computer Science, pages 415–425. IEEE Press. arXiv:quant-ph/0402130
2004
Cited alongside, same era.
S. Lack (2004) Composing PROPs. Theory and Applications of Categories
2004
Cited alongside, same era.
P. Selinger (2004) Towards a quantum programming language. Mathematical Structures in Computer Science
2004
Cited alongside, same era.
S. Abramsky and B. Coecke (2005) Abstract physical traces. Theory and Applications of Categories
2005
Cited alongside, same era.
H. Barnum, J. Barrett, M. Leifer and A. Wilce (2006) Cloning and broadcasting in generic probabilistic theories. arXiv:quant-ph/0611295
2006
Cited alongside, same era.
B. Coecke (2007) De-linearizing linearity: projective quantum axiomatics from strong compact closure. Electronic Notes in Theoretical Computer Science
2007
Cited alongside, same era.
2008
Later among the works it cites.
B. Coecke and E. O. Paquette (2008) POVMs and Naimark’s theorem without sums. Electronic Notes in Theoretical Computer Science
2008
Later among the works it cites.
B. Coecke, E. O. Paquette and D. Pavlovic (2008) Classical and quantum structures. OUCL Research Report PRG-RR-08-02. http:// web.comlab.ox.ac.uk/publications/publication65-abstract.html
2008
Later among the works it cites.
2008
Later among the works it cites.
B. Coecke, D. Pavlovic, and J. Vicary (2008) A new description of orthogonal bases. arXiv:0810.0812
2008
Later among the works it cites.
E. O. Paquette (2008) Categorical quantum computation. PhD. thesis. Université de Montréal
2008
Later among the works it cites.
D. Pavlovic (2008) Geometry of abstraction in quantum computation. Draft paper
2008
Later among the works it cites.