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

Authors:
Peter Selinger
Affiliations:
Department of Mathematics and Statistics, Dalhousie University, Halifax, Nova Scotia, Canada
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 3
Cited 2

A Categorical Semantics of Quantum Protocols

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Dagger Compact Closed Categories and Completely Positive Maps

Electronic Notes in Theoretical Computer Science (ENTCS)
Finite dimensional vector spaces are complete for traced symmetric monoidal categories

Pillars of computer science

The compositional structure of multipartite quantum entanglement

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Symmetry and Composition in Probabilistic Theories

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.