Finite dimensional Hilbert spaces are complete for dagger compact closed categories
Category Theory
2015-07-01 v2 Quantum Physics
Abstract
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.
Cite
@article{arxiv.1207.6972,
title = {Finite dimensional Hilbert spaces are complete for dagger compact closed categories},
author = {Peter Selinger},
journal= {arXiv preprint arXiv:1207.6972},
year = {2015}
}