Paper Info
Title
Finite dimensional Hilbert spaces are complete for dagger compact closed categories.
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.
Year
DOI
Venue
2012
10.2168/LMCS-8(3:06)2012
LOGICAL METHODS IN COMPUTER SCIENCE
Keywords
Field
DocType
Dagger compact closed categories,Hilbert spaces,completeness
Hilbert space,Algebra,Compact operator on Hilbert space,Axiom,Pure mathematics,If and only if,Dagger,Mathematics
Journal
Volume
Issue
ISSN
8
3
1860-5974
Citations 
PageRank 
References 
3
0.54
2
Authors
1
Name
Order
Citations
PageRank
Peter Selinger143436.65