连通子图什么意思_[范畴论与量子信息] 0 为什么范畴论是一个理论？

什么是范畴论？一种常见的陈词滥调是：范畴论关心关系，而非对象。我不准备谈这个，我来谈谈为什么范畴论（category theory）是一个理论（theory）？那么，什么是理论？

理论常常是常识性观点的好斗的批评家……被称为理论的作品的影响超出它们原来的领域。

——J. Culler, Literary Theory: A Very Short Introduction, Oxford, 1997.

如果有数学家问，什么是量子理论？你大概会回答：首先有一个Hilbert空间，态是它里面的向量，可观测量是它上面的Hermite算子……打住，只能这样和数学家解释量子理论吗？

当我们思考量子信息问题时，往往只需要画这样的图：

纵向表示时间，横向表示空间。量子信息关心的“时间”和“空间”是什么？我们提“空间”，也就是想表达，Alice和Bob的操作是只影响他们自己的系统，还是整个系统；我们提“时间”，也就是想表达，哪个操作在前，哪个操作在后。所以真正重要的只是这个图的连通结构。

怎样和数学家解释呢？时间轴上的线段是恒等态射，空间轴上并排由张量积描述，这是一个幺半范畴。所以范畴论批评了“量子理论是Hilbert空间的理论”这样的常识，提供了源于量子信息的新鲜视角：“量子理论是幺半范畴的理论”。

范畴论并非抽象废话（abstract nonsense），今天不只有范畴论的研究者关心范畴论，它已经对各领域造成深远影响：代数拓扑，代数几何，量子信息，共形场论，拓扑量子场论，类型论，分析哲学，函数式编程，形式语义学……

References:

C. Heunen & J. Vicary, Categories for Quantum Theory: An Introduction, Oxford, 2019.