Finite dimensional Hilbert spaces are complete for dagger compact closed categories

Logical Methods in Computer Science

Volumn 8, Issue 3, 2012, Pages 7-

  Selinger, Peter ^a  

^a DALHOUSIE UNIVERSITY   (Canada)

Author keywords

Completeness; Dagger compact closed categories; Hilbert spaces

Indexed keywords

HILBERT SPACES; VECTOR SPACES;

CLOSED CATEGORY; COMPLETENESS; FINITE DIMENSIONAL;

QUANTUM THEORY;

EID: 84865018234     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/lmcs-8(3:6)2012     Document Type: Article

References (9)

1. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, pages 415-425. IEEE Computer Society Press, 2004.
2. R. P. Geroch. Special topics in particle physics. Unpublished lecture notes, University of Texas at Austin. Available from http://strangebeautiful.com/other-texts/geroch-qft-lectures.pdf, 1971.
3. M. Hasegawa, M. Hofmann, and G. Plotkin. Finite dimensional vector spaces are complete for traced symmetric monoidal categories. In Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Lecture Notes in Computer Science 4800, pages 367-385. Springer, 2008.
4. A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, 119:447-468, 1996.
5. S. Lang. Algebra. Springer Graduate Texts in Mathematics 211. 2004.
6. R. Penrose and W. Rindler. Spinors and Space-Time: Volume 1, Two-Spinor Calculus and Relativistic Fields. Cambridge University Press, 1984.
7. P. Selinger. Dagger compact closed categories and completely positive maps. In Proceedings of the 3rd International Workshop on Quantum Programming Languages, Electronic Notes in Theoretical Computer Science 170, pages 139-163. Elsevier, 2007.
8. P. Selinger. A survey of graphical languages for monoidal categories. In B. Coecke, editor, New Structures for Physics, Lecture Notes in Physics 813, pages 289-355. Springer, 2011.
9. R. M. Wald. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics. University Of Chicago Press, 1994.