Group action in topos quantum physics
Group action in topos quantum physics
复制标题
DOI：
10.1063/1.4795803
复制
发表时间：
2011-10
影响因子：
1.3
通讯作者：
C. Flori
中科院分区：
文献类型：
--
作者：
C. Flori
拓扑斯理论首先由 Isham 和 Butterfield 提出，然后由 Isham 和 Doring 提出，作为制定物理理论的替代数学结构。特别是，它已被用来重新表述标准量子力学，从而使用一种新颖的逻辑类型来表示命题。在本文中，我们扩展了这个公式以包括群和群变换的概念，从而克服了扭曲预滑轮的问题。为了实现这一点，我们需要改变所涉及的拓扑类型，以使群体行动的连续性概念变得有意义。
Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Doring, as an alternative mathematical structure within which to formulate physical theories. In particular, it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In this paper, we extend this formulation to include the notion of a group and group transformation in such a way that we overcome the problem of twisted presheaves. In order to implement this we need to change the type of topos involved, so as to render the notion of continuity of the group action meaningful.