On quantum event structures. Part III: Object of truth values

被引:0
|
作者
Zafiris, E
机构
[1] Univ Sofia, Fac Math & Informat, Sofia 1164, Bulgaria
[2] Univ Athens, Inst Math, Athens 15784, Greece
关键词
Boolean localizations; topos; adjunction; quantum logic; subobject classifier; quantum truth values;
D O I
10.1023/B:FOPL.0000042696.35112.78
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
In this work we expand the foundational perspective of category theory on quantum event structures by showing the existence of an object of truth values in the category of quantum event algebras, characterized as subobject classifier. This object plays the corresponding role that the two-valued Boolean truth values object plays in a classical event structure. We construct the object of quantum truth values explicitly and argue that it constitutes the appropriate choice for the valuation of propositions describing the behavior of quantum systems.
引用
收藏
页码:403 / 432
页数:30
相关论文
共 50 条