抽象标量、环路以及自由迹和强紧闭范畴
量子物理
2009-10-16 v1 计算机科学中的逻辑
范畴论
摘要
我们研究了作者本人与Bob Coecke近期在量子力学范畴公理化工作中产生的结构，特别是强紧闭范畴的概念。我们解释了这些结构如何支持标量的概念，从而能够表达物理理论中的定量方面，以及强紧闭性概念如何作为经典紧闭范畴概念的重要精炼而出现。随后，我们针对一系列结构范畴（其复杂度逐步增加，最终达到强紧闭情形）的自由构造进行了扩展讨论。强调了这些构造背后的简单几何与组合思想。我们还讨论了将指定标量幺半群“粘合”到自由构造中的变体。
引用
@article{arxiv.0910.2931,
title = {Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:0910.2931},
year = {2009}
}
备注
32 pages