论文信息 - Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) - 字舞流文

Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)

We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.

[1] Samson Abramsky,et al. A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[2] R. Wald. Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics , 1994 .

[3] R. Penrose,et al. Two-spinor calculus and relativistic fields , 1984 .

[4] J. Cheney,et al. A sequent calculus for nominal logic , 2004, LICS 2004.

[5] Martin Hofmann,et al. Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories , 2008, Pillars of Computer Science.

[6] Ross Street,et al. Traced monoidal categories , 1996 .

[7] R. Tennant. Algebra , 1941, Nature.

[8] P. Selinger. A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.

[9] Peter Selinger,et al. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.