The Born rule as structure of spectral bundles (extended abstract)

Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Differences in variance are due to the bundle being a fibration or opfibration. Relative to this structure, the probabilistic predictions of the Born rule in finite dimensional settings are then described as a section of a bundle of valuations. The construction uses in an essential way the geometric nature of the valuation locale monad.

[1]  Thierry Coquand,et al.  Integrals and valuations , 2008, J. Log. Anal..

[2]  Ross Street,et al.  Fibrations and Yoneda's lemma in a 2-category , 1974 .

[3]  Bas Spitters,et al.  The space of measurement outcomes as a spectrum for non-commutative algebras , 2010, DCM.

[4]  A. Joyal,et al.  An extension of the Galois theory of Grothendieck , 1984 .

[5]  C. J. Isham,et al.  A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues , 1998 .

[6]  J. Bell.  On the Problem of Hidden Variables in Quantum Mechanics , 1966 .

[7]  Steven J. Vickers.  A localic theory of lower and upper integrals , 2008, Math. Log. Q..

[8]  Bas Spitters,et al.  The principle of general tovariance , 2008 .

[9]  Bas Spitters,et al.  A Topos for Algebraic Quantum Theory , 2007, 0709.4364.

[10]  Roman Fric,et al.  A Categorical Approach to Probability Theory , 2010, Stud Logica.

[11]  Bas Spitters,et al.  Bohrification of operator algebras and quantum logic , 2009, Synthese.

[12]  C. J. Isham,et al.  Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations , 1998, quant-ph/9803055.

[13]  A. Doering,et al.  Quantum States and Measures on the Spectral Presheaf , 2008, 0809.4847.

[14]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[15]  Michèle Giry,et al.  A categorical approach to probability theory , 1982 .

[16]  C. Isham,et al.  Classical and quantum probabilities as truth values , 2011, 1102.2213.

[17]  D. Scott,et al.  Sheaves and logic , 1979 .

[18]  Peter T. Johnstone,et al.  Fibrations and partial products in a 2-category , 1993, Appl. Categorical Struct..

[19]  Steven Vickers.  A monad of valuation locales , 2011 .

[20]  Samson Abramsky,et al.  A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality , 2011, ArXiv.

[21]  Andreas Doering,et al.  “What is a Thing?”: Topos Theory in the Foundations of Physics , 2008, 0803.0417.

[22]  Reinhold Heckmann,et al.  Probabilistic Power Domains, Information Systems, and Locales , 1993, MFPS.

[23]  S. Vickers.  Continuity is Geometricity , 2011 .

[24]  Bas Spitters,et al.  Intuitionistic Quantum Logic of an n-level System , 2009, Foundations of Physics.

[25]  Bernhard Banaschewski,et al.  A globalisation of the Gelfand duality theorem , 2006, Ann. Pure Appl. Log..