Completeness of †-categories and the complex numbers

Journal of Mathematical Physics

Volumn 52, Issue 8, 2011, Pages

  Vicary, Jamie ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 80052328927     PISSN: 00222488     EISSN: None     Source Type: Journal    
DOI: 10.1063/1.3549117     Document Type: Article

References (25)

1. Abramsky S. Coecke B. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science 2004, Turkey, Finland 2004, 415. and in (IEEE Computer Science Press, Washington, DC, USA, ), p.
2. Abramsky S. Coecke B. Theory Appl. Categ. 2005, 14(6):111. and p.
3. Abramsky S. Coecke B. Categorical quantum mechanics. Handbook of Quantum Logic and Quantum Structures 2008, 2. and "," in (Elsevier, New York, ), Vol.
4. Aerts D. Operational quantum mechanics, quantum axiomatics and quantum structures. Compendium of Quantum Physics 2008, 434-440. ","in (Springer, New York, ), pp.
5. Baez J.C. Adv. Math. 1997, 127:125. 10.1006/aima.1997.1617.
6. Brumby S.P. Joshi G.C. Chaos, Solitons Fractals 1996, 7:747. 10.1016/0960-0779(95)00001-1, and.
7. Clifton R. Bub J. Halvorson H. Found. Phys. 2003, 33:1561. 10.1023/A:1026056716397, and.
8. Coecke B. Introducing categories to the practicing physicist. What is Category Theory 2006, 45-74. "," in ? (Polimetrica Publishing, Milan, Italy, ), pp.
9. Coecke B. Pavlovic D. Vicary J. A new description of orthogonal bases. and "," Electronic Notes in Computer Science, to appear.
10. D'Ariano G. Probabilistic theories: What is special about quantum mechanics?. Philosophy of Quantum Information and Entanglement 2010, A.Bokulich, G.Jaeger, "," in edited by and (Cambridge University Press, Cambridge, England, );e-print arXiv:0807.4384.
11. Doplicher S. Roberts J.E. Invent. Math. 1989, 98:157. 10.1007/BF01388849, and.
12. Döring A. Isham C. 'What is a thing?': Topos theory in the foundations of Physics. New Structures in Physics 2008, B.Coecke, and "," in ed. (Springer, New York, ).
13. Kelly G.M. Laplaza M.L. J. Pure Appl. Algebra 1980, 19:193. 10.1016/0022-4049(80)90101-2, and.
14. Halvorson H. Müger M. Algebraic quantum field theory. 2006, and "," in Handbook of the Philosophy of Physics (North-Holland, Amsterdam, ).
15. Hardy L. Quantum theory from five reasonable axioms. 2001, "," (unpublished) ;e-print arXiv:quant-ph/0101012.
16. Heunen C. Theory Appl. Categ. 2009, 22(13):321. 10.1007/s00220-009-0865-6.
17. Horowitz L.P. Found. Phys. 1996, 26(6):851. 10.1007/BF02058638.
18. De Leo S. Abdel-Khalek K. Prog. Theor. Phys. 1996, 96(4):823. 10.1143/PTP.96.823, and.
19. Lev F. Finite Fields Their Appl. 2006, 12:336. 10.1016/j.ffa.2005.07.006.
20. Lane S. Categories for the Working Mathematician 1997, (Springer, New York, ).
21. Marker D. Model Theory: An Introduction 2002, (Springer, New York, ).
22. McLarty C. Elementary Categories, Elementary Toposes 1995, (Oxford University Press, New York, ).
23. Selinger P. Proceedings of the Fourth International Workshop on Quantum Programming Languages 2006, in Oxford.
24. Vicary J. Categorical formulation of finite-dimensional quantum algebras. Communications in Mathematical Physics 2008, "," in (Springer-Verlag, New York, ).
25. Vourdas A. J. Phys. A 2005, 38:8453. 10.1088/0305-4470/38/39/011.