Finite dimensional Hilbert spaces are complete for dagger compact closed categories
arXiv:1207.6972 · doi:10.2168/LMCS-8(3:6)2012
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.