萨姆森·艾布拉姆斯基;鲍勃·科克 抽象物理痕迹。 （英语） Zbl 1065.18005号 理论应用。类别。 14, 111-124 (2005). 总结：我们根据以下结果修订了我们的“物理痕迹”论文[arXiv.org/abs/cs/0207057]S.阿布拉姆斯基和B.科克[arXiv.org/abs/quant-ph/0402130]。关键的事实是，强紧闭范畴的概念允许定义伴随、二部投影和内积的抽象概念，并证明它们的关键性质。在本文中，我们改进了强紧闭包的定义，与[loc.cit.]中给出的定义相比。这种修改使强紧闭包在伴随和Yanking公理方面得到了优雅的刻画，并对二部投射器进行了更好的处理。 引用于三评论引用于14文件 MSC公司： 18日第15天 闭范畴（闭单体和笛卡尔闭范畴等） 18B30型 拓扑空间和连续映射的分类（MSC2010） 18A30型 极限和共线（乘积、和、有向极限、pushouts、纤维乘积、均衡器、核、端点和系数等） 18A40型 伴随函子（泛结构、反射子范畴、Kan扩张等） 15A04号 线性变换、半线性变换 15A90型 矩阵理论在物理学中的应用（MSC2000） 18B10型 跨度/cospan、关系或部分映射的类别 18 C50 形式语言的范畴语义 18日第10天 单线、对称单线和编织线类别（MSC2010） 81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 81页68 量子计算 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{B.Coecke}，理论应用。类别。14、111--124（2005；Zbl 1065.18005） 全文： arXiv公司 欧洲DML EMIS公司