sentences:  This is reviewed in the next section.The completeness theorem implies that basic notions from Hilbert spaces carry over to any dagger compact category.The typical language employed, however, changes.