06066148

j

06066148 Selinger, Peter Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Log. Methods Comput. Sci. 8, No. 3, Paper No. 6, 12 p., electronic only (2012). 2012 Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, Technical University of Braunschweig, Braunschweig EN dagger compact closed categories Hilbert spaces completeness

doi:10.2168/LMCS-8(3:6)2012

Summary: 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.