Finite dimensional Hilbert spaces are complete for dagger compact closed categories
oleh: Peter Selinger
| Format: | Article |
|---|---|
| Diterbitkan: | Logical Methods in Computer Science e.V. 2012-08-01 |
Deskripsi
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.