抽象物理痕迹
Abstract Physical Traces
摘要：
我们根据“量子协议的分类语义学”中的结果修改了我们的“物理痕迹”论文。关键的事实是，强紧闭范畴的概念允许定义伴随、二分投影和内积的抽象概念，并证明它们的关键性质。在本文中，我们改进了强紧闭包的定义相比，在量子协议的范畴语义。这种修改使一个优雅的强紧封闭的伴随和扬金公理方面的特点，并更好地处理二分投影仪。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
