Similar Items: Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
- Compactly accessible categories and quantum key distribution
- Dagger linear logic for categorical quantum mechanics
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- Computably Based Locally Compact Spaces