sentences:  an equational statement in the language of dagger compact categories holds if and only if it can be derived in the concrete category of finite dimensional Hilbert spaces and linear maps.There is no analogous completeness for Rel or nCob.This completeness result implies that various theorems from Hilbert spaces extend to this category.