一个宇宙的过程和它的一些伪装
A universe of processes and some of its guises
摘要：
我们的出发点是一个特殊的“画布”，旨在“绘制”物理学理论，它具有对称的monoidal范畴作为其数学支柱。在本文中，我们考虑这个画布的概念基础，以及如何将这些转换为数学结构。用很少的结构努力（即用非常抽象的术语）和在很短的时间跨度内，分类量子力学（CQM）研究计划已经复制了一个令人惊讶的大片段的量子理论。它还在量子基础和量子信息方面提供了新的见解，甚至产生了利用CQM的演绎能力的自动推理软件，称为“量子计算机”。在本文中，我们通过不需要范畴论的先验知识，并通过指出与物理学基础的先前和当前发展的联系，来补充现有的材料。该研究计划也与其他地方的发展密切合作，例如在表示论，量子代数，纽结理论，拓扑量子场论和其他几个领域。
英文摘要：
Our starting point is a particular `canvas' aimed to `draw' theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this paper we consider the conceptual foundations for this canvas, and how these can then be converted into mathematical structure. With very little structural effort (i.e. in very abstract terms) and in a very short time span the categorical quantum mechanics (CQM) research program has reproduced a surprisingly large fragment of quantum theory. It also provides new insights both in quantum foundations and in quantum information, and has even resulted in automated reasoning software called `quantomatic' which exploits the deductive power of CQM. In this paper we complement the available material by not requiring prior knowledge of category theory, and by pointing at connections to previous and current developments in the foundations of physics. This research program is also in close synergy with developments elsewhere, for example in representation theory, quantum algebra, knot theory, topological quantum field theory and several other areas.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
