A categorial semantic representation of quantum event structures (Q385635): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
The authors show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes an appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. They also compare their topos-theoretic representation scheme of quantum even algebras with other categorial and topos-theoretic approaches. | |||
| Property / review text: The authors show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes an appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. They also compare their topos-theoretic representation scheme of quantum even algebras with other categorial and topos-theoretic approaches. / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Mirko Navara / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 81P10 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 16B50 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 81P05 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 81P13 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6235238 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
quantum event structures | |||
| Property / zbMATH Keywords: quantum event structures / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Boolean algebras | |||
| Property / zbMATH Keywords: Boolean algebras / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
topos subobject classifier | |||
| Property / zbMATH Keywords: topos subobject classifier / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Kochen-Specker theorem | |||
| Property / zbMATH Keywords: Kochen-Specker theorem / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
quantum truth values | |||
| Property / zbMATH Keywords: quantum truth values / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
adjoint functors | |||
| Property / zbMATH Keywords: adjoint functors / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
sheaves | |||
| Property / zbMATH Keywords: sheaves / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Grothendieck topos | |||
| Property / zbMATH Keywords: Grothendieck topos / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
realist account | |||
| Property / zbMATH Keywords: realist account / rank | |||
Normal rank | |||
Revision as of 12:47, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A categorial semantic representation of quantum event structures |
scientific article |
Statements
A categorial semantic representation of quantum event structures (English)
0 references
2 December 2013
0 references
The authors show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes an appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. They also compare their topos-theoretic representation scheme of quantum even algebras with other categorial and topos-theoretic approaches.
0 references
quantum event structures
0 references
Boolean algebras
0 references
topos subobject classifier
0 references
Kochen-Specker theorem
0 references
quantum truth values
0 references
adjoint functors
0 references
sheaves
0 references
Grothendieck topos
0 references
realist account
0 references
