Name
Abstract | ||
|---|---|---|
We revise our 'Physical Traces' paper (Abramsky and Coecke CTCS'02) in the light of the results in (Abramsky and Coecke LiCS'04). 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 (Abramsky and Coecke LiCS'04). 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. |
Year | Venue | Keywords |
|---|---|---|
2009 | Clinical Orthopaedics and Related Research | quantum physics,inner product,category theory |
Field | DocType | Volume |
Discrete mathematics,Categorical quantum mechanics,Compact closed category,Quantum mechanics,Axiom,Bipartite graph,Pure mathematics,Projector,Mathematics | Journal | abs/0910.3 |
ISSN | Citations | PageRank |
Theory and Applications of Categories, vol 14, pages 111--124,
2005 | 10 | 2.18 |
References | Authors | |
8 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Samson Abramsky | 1 | 3169 | 348.51 |
| Bob Coecke | 2 | 912 | 104.22 |