Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)

https://doi.org/10.1016/j.entcs.2011.01.010Get rights and content
Under a Creative Commons license
open access

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.

Keywords

Dagger compact closed categories
Hilbert spaces
completeness

Cited by (0)

1

Research supported by NSERC.

Copyright © 2011 Elsevier B.V.