局域观测网的可观测量玻尔化

Spitters 等人近期的结果表明，通过一种称为玻尔化的过程，量子相空间可以被有效地视为一个赋环拓扑斯。他们指出，量子运动学随后可被解释为该赋环拓扑斯内部的经典运动学。我们将这些思想从量子力学推广至代数量子场论：从一个可观测量网出发，我们构造了一个量子相空间的预层。然后，我们可以自然地将该网的因果局域性表达为相应赋环拓扑斯预层上的下降条件：我们证明，当且仅当赋环拓扑斯预层通过一个局部几何态射满足下降条件时，可观测量网是局域的。