\input zb-basic
\input zb-ioport
\iteman{io-port 06066148}
\itemau{Selinger, Peter}
\itemti{Finite dimensional Hilbert spaces are complete for dagger compact closed categories.}
\itemso{Log. Methods Comput. Sci. 8, No. 3, Paper No. 6, 12 p., electronic only (2012).}
\itemab
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.
\itemrv{~}
\itemcc{}
\itemut{dagger compact closed categories; Hilbert spaces; completeness}
\itemli{doi:10.2168/LMCS-8(3:6)2012}
\end