Abstract Physical Traces

  title={Abstract Physical Traces},
  author={Samson Abramsky and Bob Coecke},
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… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-7 of 7 references

Quantum teleportation is a universal computational primitive

  • A. Joyal, R. Street, D. Verity
  • Nature
  • 1999

Traced monoidal categories

  • G. M. Kelly, M. L. Laplaza
  • Proceedings of the Cambridge Philosophical…
  • 1996

Coherence for compact closed categories

  • R. A. G. Seely
  • Journal of Pure and Applied Algebra
  • 1980

Similar Papers

Loading similar papers…