Abstract Physical Traces release_2cbghweehnhtjevpcyyixbaljm

by Samson Abramsky, Bob Coecke

Released as a article .



We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in Categorical Semantics of Quantum Protocols. This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors.
In text/plain format

Archived Files and Locations

application/pdf  158.0 kB
archive.org (archive)
Read Archived PDF
Type  article
Stage   submitted
Date   2009-10-16
Version   v1
Language   en ?
arXiv  0910.3144v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6c7cc33f-687e-49d9-bc03-f028d06b97ae