sentences:  The following categories are dagger compact.Infinite-dimensional Hilbert spaces are not dagger compact, and are described by dagger symmetric monoidal categories.Selinger showed that dagger compact categories admit a Joyal-Street style diagrammatic language and proved that dagger compact categories are complete with respect to finite dimensional Hilbert spaces "i.e."