Finite dimensional Hilbert spaces are complete for dagger compact closed categories

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.