A categorial semantic representation of quantum event structures (Q385635): Difference between revisions

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

reviewed by

Mirko Navara

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

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

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

The sheaf-theoretic structure of non-locality and contextuality

0 references

Q3575369

0 references

A globalisation of the Gelfand duality theorem

0 references

Q4039735

0 references

Reasoning in quantum theory. Sharp and unsharp quantum logics.

0 references

“What is a Thing?”: Topos Theory in the Foundations of Physics

0 references

Topoi. The categorial analysis of logic. Rev. ed

0 references

Q3100022

0 references

Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations

0 references

A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues

0 references

Q4750696

0 references

Q5536167

0 references

Q5193160

0 references

Sheaves in geometry and logic: a first introduction to topos theory

0 references

Noncommutativity as a colimit

0 references

Q5847989

0 references

Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism

0 references

Generalized topological covering systems on quantum events' structures

0 references

Sheaf-theoretic representation of quantum measure algebras

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:385635

@@ 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.
+Normal rank
@@ Property / reviewed by @@
+Mirko Navara
@@ Property / reviewed by: Mirko Navara / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 81P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 14F05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 16B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P05
@@ Property / Mathematics Subject Classification ID: 81P05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P13
@@ Property / Mathematics Subject Classification ID: 81P13 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6235238
@@ 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
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3100778444
@@ Property / OpenAlex ID: W3100778444 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01338
@@ Property / arXiv ID: 1504.01338 / rank @@
+Normal rank
@@ Property / cites work @@
+The sheaf-theoretic structure of non-locality and contextuality
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+A globalisation of the Gelfand duality theorem
@@ Property / cites work: A globalisation of the Gelfand duality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+“What is a Thing?”: Topos Theory in the Foundations of Physics
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q3100022
@@ Property / cites work: Q3100022 / rank @@
+Normal rank
@@ Property / cites work @@
+Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
+Normal rank
@@ Property / cites work @@
+A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536167
@@ Property / cites work: Q5536167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5193160
@@ Property / cites work: Q5193160 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Noncommutativity as a colimit
@@ Property / cites work: Noncommutativity as a colimit / rank @@
+Normal rank
@@ Property / cites work @@
+Q5847989
@@ Property / cites work: Q5847989 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
+Normal rank
@@ Property / cites work @@
+Generalized topological covering systems on quantum events' structures
+Normal rank
@@ Property / cites work @@
+Sheaf-theoretic representation of quantum measure algebras
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:385635