拓扑斯理论与‘新实在论’量子理论
量子物理
2015-05-13 v1
摘要
拓扑斯理论作为范畴论的一个分支，被提议作为构建物理理论的数学基础。在本文中，我们简要介绍了这种方法，并强调了其逻辑方面。每个拓扑斯都作为一个具有内部逻辑的‘数学宇宙’，用于为关于物理系统的所有命题赋予真值。我们详细展示了这在（代数）量子理论中是如何运作的。
引用
@article{arxiv.0712.4003,
title = {Topos theory and `neo-realist' quantum theory},
author = {Andreas Doering},
journal= {arXiv preprint arXiv:0712.4003},
year = {2015}
}
备注
22 pages, no figures; contribution for Proceedings of workshop "Recent Developments in Quantum Field Theory", MPI MIS Leipzig, July 2007