Nuclear and trace ideals in tensored *-categories

Samson Abramsky Richard Blute Prakhash Panangaden 1999 Nuclear and trace ideals in tensored *-categories Journal of Pure and Applied Algebra 143 3–47 10.1016/S0022-4049(98)00106-6 Samson Abramsky Bob Coecke 2004 A categorical semantics of quantum protocols Logic in Computer Science 19 IEEE Computer Society 415–425 10.1109/LICS.2004.1319636 Bob Coecke 2007 Complete positivity without positivity and without compactness Technical Report PRG-RR-07-05 Oxford University Computing Laboratory http://www.cs.ox.ac.uk/techreports/oucl/RR-07-05.html Bob Coecke 2007 De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure Electronic Notes in Theoretical Computer Science 170 49–72 10.1016/j.entcs.2006.12.011 Bob 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 Bob Coecke Éric O. Paquette 2008 POVMs and Naimark's theorem without sums QPL IV ENTCS 210 15–31 10.1016/j.entcs.2008.04.015 Bob Coecke Duško Pavlovi\'c 2007 Quantum measurements without sums Mathematics of Quantum Computing and Technology Taylor and Francis 559–596 arXiv:quant-ph/0608035 Bob Coecke Simon Perdrix 2010 Environment and classical channels in categorical quantum mechanics CSL'10/EACSL'10 Springer 230–244 http://dl.acm.org/citation.cfm?id=1887459.1887481 John B. Conway 2000 A course in operator theory American Mathematical Society Jacques Dixmier 1969 Von Neumann algebras North-Holland Chris Heunen 2008 Compactly accessible categories and quantum key distribution Logical Methods in Computer Science 4 4 10.2168/LMCS-4(4:9)2008 Chris Heunen 2009 An embedding theorem for Hilbert categories Theory and Applications of Categories 22 13 321–344 http://www.tac.mta.ca/tac/volumes/22/13/22-13abs.html Chris Heunen Sergio Boixo 2011 Completely positive classical structures and sequentializable quantum protocols QPL VIII Alexander S. Holevo 2001 Statistical structure of quantum theory Springer A. Joyal R. Street 1991 The geometry of tensor calculus I Advances in Mathematics 88 55–112 10.1016/0001-8708(91)90003-P G. Max Kelly Miguel L. Laplaza 1980 Coherence for compact closed categories Journal of Pure and Applied Algebra 19 193–213 10.1016/0022-4049(80)90101-2 Vern Paulsen 2002 Completely bounded maps and operators algebras Cambridge University Press Peter Selinger 2007 Dagger compact closed categories and completely positive maps Quantum Programming Languages ENTCS 170 Elsevier 139–163 10.1016/j.entcs.2006.12.018 Peter Selinger 2010 A survey of graphical languages for monoidal categories New Structures for Physics Lecture Notes in Physics 813 Springer 289–355 W. Forrest Stinespring 1955 Positive functions on C*-algebras Proceedings of the American Mathematical Society 6 2 211–216 Masamichi Takesaki 1979 Theory of Operator Algebra I Encyclopaedia of Mathematical Sciences Springer