×

根据布尔参考系对量子事件结构进行拓扑理论分类。 (英语) Zbl 1113.81011号

摘要:我们用布尔局域化系统构造了量子事件结构的sheaf-theoretic表示。这些覆盖系统被构造为量子事件代数的结构保护态射的理想,这些量子事件代数来自不同的布尔域,与测量的物理上下文相一致。建模sheaf理论方案基于布尔事件代数和量子事件代数的预重之间存在分类附加。在这种伴随对应的基础上,我们还证明了量子逻辑范畴中真值对象的存在性,其特征是子对象分类器。该分类对象与二值布尔真值对象在经典事件结构中所起的作用等效。我们明确地构建了量子真值的对象,并进一步证明了它在典型的量子测量情况下对命题进行估值的功能。

MSC公司:

81页第10页 量子力学的逻辑基础;量子逻辑(量子理论方面)
18F05型 局部范畴和函子
18层20 预提升和滑轮、堆垛、下降条件(理论方面)
18天30分 光纤类别
14层05 滑轮、滑轮衍生类别等(MSC2010)
53亿B50 局部微分几何在科学中的应用
第81页,共15页 量子测量理论、态操作、态准备
58A03级 可微流形的拓扑理论方法
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] 内政部:10.2307/1968621·Zbl 0015.14603号 ·doi:10.2307/1968621
[2] Varadarajan V.S.,量子力学几何1(1968)·Zbl 0155.56802号
[3] DOI:10.1016/j.geomphys.2003.11.010·Zbl 1068.18013号 ·doi:10.1016/j.geomphys.2003.11.010
[4] Lawvere F.W.,概念数学(1997)·Zbl 0889.18001号
[5] MacLane S.,《工作数学家的类别》(1971年)·Zbl 0705.18001号
[6] 内政部:10.1007/978-1-4612-0927-0·数字对象标识代码:10.1007/978-1-4612-0927-0
[7] Bell J.L.,拓扑和局部集理论(1988)·兹比尔0649.18004
[8] Artin M.,Springer LNM 269,摘自:Theorye de topos et cohologie etale des schemas(1972)
[9] Bell J.L.,综合69
[10] Bell J.L.,《合成》第51页,第3页–
[11] Zafiris E.,《物理杂志A:数学与普通》39页39–·Zbl 1160.81002号
[12] Kochen S.,J.数学。和机械。第17页第59页–
[13] Butterfield J.,《国际理论物理杂志》37页2669–
[14] DOI:10.1023/A:1026652817988·Zbl 1007.81009号 ·doi:10.1023/A:1026652817988
[15] 内政部:10.1145/347476.347481·Zbl 1327.68103号 ·doi:10.1145/347476.347481
[16] Butterfield J.,《物理学基础》,第30页,1707–·Zbl 0992.00500
[17] Takeuti G.,日本数学学会13
[18] DOI:10.1007/BF01807619·Zbl 0392.0304号 ·doi:10.1007/BF01807619
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。