pith. sign in

arxiv: 0910.3144 · v1 · submitted 2009-10-16 · 🪐 quant-ph · cs.LO· math.CT

Abstract Physical Traces

Samson Abramsky , Bob Coecke This is my paper
classification 🪐 quant-ph cs.LOmath.CT
keywords compactabstractbipartitecategoricalclosurephysicalprotocolsquantum
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantum and Reality

    quant-ph 2023-11 unverdicted novelty 7.0

    Hermitian forms on Hilbert spaces arise from the monoid structure of complex conjugation in Z/2-equivariant real linear types within LHoTT, requiring only a negative unit term.