Finite dimensional Hilbert spaces are complete for dagger compact closed   categories
  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. 
Peter Selinger (Dalhousie University, Canada)
math.CT quant-ph