pith. sign in

arxiv: 2110.06793 · v2 · submitted 2021-10-11 · 🧮 math-ph · math.CT· math.MP

Topos-Theoretic Approaches to Quantum Theory

Matthijs V\'ak\'ar This is my paper

Pith reviewed 2026-05-24 12:38 UTC · model grok-4.3

classification 🧮 math-ph math.CTmath.MP
keywords topos theoryquantum theorycategory theoryquantum foundationsintuitionistic logicquantum logicpresheaf toposcontextuality
0
0 comments X

The pith

A review synthesizes multiple topos-theoretic approaches to quantum theory.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper collects and compares several constructions that apply topos theory to reformulate aspects of quantum mechanics. Topos theory supplies a category-theoretic setting in which the logic governing propositions about physical systems is generally intuitionistic rather than classical. A sympathetic reader would care because these constructions aim to replace or augment the standard Hilbert-space formalism with geometric and logical structures that may clarify measurement, probability, and contextuality. The synthesis makes visible both shared patterns and points of divergence among the surveyed accounts.

Core claim

The central claim is that the various topos-theoretic analyses of quantum theory developed in the literature can be presented together so that their common structural features and distinct technical choices become apparent.

What carries the argument

Topos constructions, typically presheaf toposes or related categories, that encode quantum observables, states, and propositions while enforcing a non-classical logic.

If this is right

  • Readers obtain a single reference that displays the common themes running through the different topos models.
  • Differences in how each construction treats observables and measurements become easier to isolate.
  • The unified presentation may reduce duplication when extending any one of the approaches.
  • It becomes clearer which technical choices are essential to the topos method and which are specific to individual authors.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A successful synthesis could be used to test whether one particular topos construction subsumes the others.
  • The comparison might suggest hybrid constructions that combine elements appearing separately in the surveyed works.
  • If the synthesis is accurate, it could guide attempts to derive new physical predictions that are independent of any single topos choice.

Load-bearing premise

The surveyed constructions share enough common structure that a single review can compare them without overlooking substantive technical incompatibilities.

What would settle it

An explicit demonstration that two of the compared constructions assign incompatible truth values to the same proposition about a concrete physical system.

read the original abstract

This review paper surveys work by Isham, Butterfield, D\"oring, Landsman, Spitters, Heunen, and others on topos-theoretic analyses of quantum theory. It aims to provide a synthesized account of their various approaches.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. This review paper surveys topos-theoretic approaches to quantum theory developed by Isham, Butterfield, Döring, Landsman, Spitters, Heunen and related authors. Its central claim is that these approaches can be presented in a synthesized account that usefully compares their structures and contributions to quantum foundations.

Significance. A well-executed synthesis of these distinct topos constructions would be a useful reference for the quantum-foundations community, particularly if it clarifies shared features (such as handling of the Kochen-Specker theorem via internal logic) while explicitly noting technical divergences. The paper contains no new theorems, derivations or empirical predictions; its value is therefore entirely expository and comparative.

major comments (1)
  1. [Abstract and overall synthesis sections] The manuscript's claim to supply a 'synthesized account' (abstract) rests on the assumption that the surveyed constructions share sufficient common structure for coherent comparison. However, the different choices of site (e.g., poset of commutative subalgebras versus other categories), the varying definitions of internal Hilbert spaces or spectral objects, and the distinct treatments of the subobject classifier are not reconciled in a way that demonstrates the synthesis does not conceal substantive incompatibilities. A dedicated comparative section that tabulates these differences with explicit citations to the original works would be required to substantiate the central claim.
minor comments (2)
  1. Notation for topos-internal objects (e.g., the spectral presheaf or the internal logic) should be standardized across sections that discuss different authors' constructions to avoid reader confusion.
  2. The reference list should include the most recent updates or errata to the cited works (Isham-Butterfield, Döring, etc.) so that readers can trace subsequent developments.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thoughtful assessment of our survey. The central aim is expository comparison of existing topos-theoretic frameworks rather than reconciliation into a single formalism; we address the request for explicit tabulation below.

read point-by-point responses

  1. Referee: [Abstract and overall synthesis sections] The manuscript's claim to supply a 'synthesized account' (abstract) rests on the assumption that the surveyed constructions share sufficient common structure for coherent comparison. However, the different choices of site (e.g., poset of commutative subalgebras versus other categories), the varying definitions of internal Hilbert spaces or spectral objects, and the distinct treatments of the subobject classifier are not reconciled in a way that demonstrates the synthesis does not conceal substantive incompatibilities. A dedicated comparative section that tabulates these differences with explicit citations to the original works would be required to substantiate the central claim.

    Authors: We agree that an explicit tabular comparison would improve clarity and make the shared versus divergent features more immediately visible to readers. The manuscript already discusses these technical variations (sites, internal objects, subobject classifiers) section-by-section with citations, but does not consolidate them into one table. We will add a new comparative section containing such a table, drawing directly on the cited original papers, while preserving the paper's character as a survey rather than a unification. revision: yes

Circularity Check

0 steps flagged

No circularity: review paper with no derivations

full rationale

The paper is explicitly a survey: 'This review paper surveys work by Isham, Butterfield, Döring, Landsman, Spitters, Heunen, and others on topos-theoretic analyses of quantum theory. It aims to provide a synthesized account of their various approaches.' No original equations, predictions, or first-principles derivations are claimed. The central claim is a report on external literature, not a chain that reduces to self-defined inputs or self-citations. No load-bearing steps exist that could exhibit the enumerated circularity patterns. The paper is self-contained as a synthesis against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As a review paper the manuscript introduces no free parameters, axioms, or invented entities of its own; all technical content is attributed to the cited literature.

pith-pipeline@v0.9.0 · 5546 in / 990 out tokens · 19802 ms · 2026-05-24T12:38:02.765120+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · 7 internal anchors

  1. [1]

    Banaschewski and C.J

    B. Banaschewski and C.J. Mulvey: A globalisation of the Gelfand duality the- orem. Ann. Pure Appl. Logic 137, 2006, 62-103. 101Indeed, for all A,A ′ ∈ V (A) and p ∈ Π(A), δi(p)A ≤ p ≤ δo(p)A′. 46

    work page 2006

  2. [2]

    Baltag and S

    A. Baltag and S. Smets: Quantum Logic as Dynamic Logic. Synthese, Volume 179, Number 2, March 2011 , pp. 285-306(22)

    work page 2011

  3. [3]

    Berberian: Baer *-rings

    S.K. Berberian: Baer *-rings. Springer-Verlag, New York, 1972

    work page 1972

  4. [4]

    Bezhanishvili: Stone duality and Gleason covers through de Vries duality

    G. Bezhanishvili: Stone duality and Gleason covers through de Vries duality. Topology and its Applications 157 (2010) 1064-1080

    work page 2010

  5. [5]

    Birkhoff and J

    G. Birkhoff and J. von Neumann: The Logic of Quantum Mechanics. Ann. Math. (2) 37, 1936, 823-843

    work page 1936

  6. [6]

    Bohr: Discussion with Einstein on epistemological problems in at omic physics

    N. Bohr: Discussion with Einstein on epistemological problems in at omic physics. In: Albert Einstein: Philosopher-Scientist, pp. 201-241. La Salle: O pen Court, 1949

    work page 1949

  7. [7]

    Bunce and J.D.M

    L.J. Bunce and J.D.M. Wright: Complex Measures on Projections in von Neu- mann Algebras. J. London. Math. Soc, 46 (1992), 269-279

    work page 1992

  8. [8]

    Bunce and J.D.M

    L.J. Bunce and J.D.M. Wright: The Mackey-Gleason Problem. Bull. Amer. Math. Soc. (N.S.) 26 (1992) 288-293

    work page 1992

  9. [9]

    Bunce and J.D.M

    L.J. Bunce and J.D.M. Wright: The Mackey-Gleason Problem for Vector Mea- sures on Projections in Von Neumann Algebras . J. London. Math. Soc, 49 (1994), 131-149

    work page 1994

  10. [10]

    Butterfield and C

    J. Butterfield and C. Isham: A topos perspective on the Kochen-Specker the- orem: I. Quantum States as Generalized Valuations. Int. J. Theor. Phys. 37, pp. 2669-2733. 1998

    work page 1998

  11. [11]

    Butterfield, J

    J. Butterfield, J. Hamilton and C. Isham: A Topos Perspective on the Kochen- Specker theorem: III. Von Neumann algebras as the Base Categ ory. Int. J. Theor. Phys. 39, pp. 1413-1436. 2000

    work page 2000

  12. [12]

    Chen et al.: Experimental Demonstration of Probabilistic Quantum Clon ing Phys

    H. Chen et al.: Experimental Demonstration of Probabilistic Quantum Clon ing Phys. Rev. Lett. 106, 180404 (2011)

    work page 2011

  13. [13]

    Coquand and B

    T. Coquand and B. Spitters: Constructive Gelfand duality for C*-algebras. Mathematical Proceedings of the Cambridge Philosophical society , Volume 147, Issue 02, September 2009, pp 323-337

    work page 2009

  14. [14]

    Coquand and B

    T. Coquand and B. Spitters: Integrals and valuations. Journal of Logic & Analysis 1:3 (2009) 1-22

    work page 2009

  15. [15]

    Dieks: Communication by EPR devices

    D. Dieks: Communication by EPR devices. Phys. Lett. A 92 (1982) 271

    work page 1982

  16. [16]

    Doering: Kochen-Specker theorem for von Neumann algebras

    A. Doering: Kochen-Specker theorem for von Neumann algebras. Int. J. Theor. Phys. 44, 139-160 (2005)

    work page 2005

  17. [17]

    Doering: The Physical Interpretation of Daseinisation

    A. Doering: The Physical Interpretation of Daseinisation. In: Deep Beauty, pp. 207-238. CUP, 2011

    work page 2011

  18. [18]

    Doering: Quantum States and Measures on the Spectral Presheaf

    A. Doering: Quantum States and Measures on the Spectral Presheaf. In: Special Issue of Adv. Sci. Lett. on ”Quantum Gravity, Cosmology and Black Holes”, ed. M. Bojowald, 2008

    work page 2008

  19. [19]

    Abelian subalgebras and the Jordan structure of a von Neumann algebra

    A. Doering and J. Harding: Abelian subalgebras and the Jordan structure of a von Neumann algebra. Submitted to J. Functional Analysis, arXiv:1009.4945

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

    A Topos Foundation for Theories of Physics: I. Formal Languages for Physics

    A. Doering and C. Isham: A Topos Foundation for Theories of Physics: I. Formal Languages for Physics. J. Math. Phys. 49, Issue 5, 053515. arXiv:quant-ph/0703060. 2008. 47

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  21. [21]

    A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory

    A. Doering and C. Isham: A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory. J. Math. Phys. 49, Issue 5, 053516. arXiv:quant-ph/0703062. 2008

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  22. [22]

    A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows

    A. Doering and C. Isham: A Topos Foundation for Theories of Physics: III. Quantum Theory and the Representation of Physical Quantiti es with Arrows δ(A). J. Math. Phys. 49, Issue 5, 053517. arXiv:quant-ph/0703064. 2 008

    work page internal anchor Pith review Pith/arXiv arXiv

  23. [23]

    What is a Thing?

    A. Doering and C. Isham: “What is a Thing?”: Topos Theory in the Founda- tions of Physics. In: New Structures for Physics, pp. 753-934. Springer, 2011

    work page 2011

  24. [24]

    Duan and G.C

    M.L. Duan and G.C. Guo: Probabilistic Cloning and Identification of Linearly Independent Quantum States Phys. Rev. Lett. 80, 4999-5002 (1998)

    work page 1998

  25. [25]

    Engesser, D.M

    K. Engesser, D.M. Gabbay and D. Lehmann eds: Handbook of Quantum Logic and Quantum Structures. Elsevier, 2007

    work page 2007

  26. [26]

    Hamhalter: Quantum Measure Theory

    J. Hamhalter: Quantum Measure Theory. Kluwer, 2003

    work page 2003

  27. [27]

    Heunen: Characterizations of categories of commutative C*-subalg ebras

    C. Heunen: Characterizations of categories of commutative C*-subalg ebras

    work page

  28. [28]

    arXiv:1106.5942v1 [math.OA]

    work page internal anchor Pith review Pith/arXiv arXiv

  29. [29]

    Heunen, N.P

    C. Heunen, N.P. Landsman and B. Spitters: Bohrification of Operator Algebras and Quantum Logic. Synthese. http://dx.doi.org/10.1007/s11229-011-9918-4. 2011

    work page doi:10.1007/s11229-011-9918-4 2011

  30. [30]

    Heunen, N.P

    C. Heunen, N.P. Landsman and B. Spitters: A Topos for Algebraic Quantum Theory. Communications in Mathematical Physics 291. 63-110. 2009

    work page 2009

  31. [31]

    Heunen, N.P

    C. Heunen, N.P. Landsman, B. Spitters and S. Wolters: The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approac h. J. Aust. Math. Soc. 90 (2011), 39-52. doi: 10.1017/S1446788711001157

    work page doi:10.1017/s1446788711001157 2011

  32. [32]

    Johnstone: Sketches of an Elephant: A Topos Theory Compendium

    P.T. Johnstone: Sketches of an Elephant: A Topos Theory Compendium. Vol- ume 2. Oxford University Press, 2002

    work page 2002

  33. [33]

    Johnstone: Stone Spaces

    P.T. Johnstone: Stone Spaces. Cambridge University Press, 1982

    work page 1982

  34. [34]

    Kadison, J.R

    R.V. Kadison, J.R. Ringrose: Fundamentals of the Theory of Operator Alge- bras. Volume I: Elementary theory. Academic Press, 1983

    work page 1983

  35. [35]

    Lurie: Lecture notes on Von Neumann algebras

    J. Lurie: Lecture notes on Von Neumann algebras. On: http://www.math.harvard.edu/∼ lurie/261y.html, Harvard, 2011

    work page 2011

  36. [36]

    Mac Lane and I

    S. Mac Lane and I. Moerdijk: Sheaves in Geometry and Logic. Springer Verlag, New York, 1992

    work page 1992

  37. [37]

    Nielsen and I.L

    M.A. Nielsen and I.L. Chuang: Quantum Computation and Quantum Infor- mation. CUP, 2000

    work page 2000

  38. [38]

    Bohrification of local nets of observables

    J. Nuiten: Bohrification of Local Nets of Observables. 2011. arXiv:1109.1397v1 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  39. [39]

    Olsen: The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice

    M.P. Olsen: The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice. Proceedings of the American Mathematical Society. Volume 28, Number 2, May 1971

    work page 1971

  40. [40]

    R´ edei: Quantum Logic in Algebraic Approach

    M. R´ edei: Quantum Logic in Algebraic Approach. Kluwer, 1998

    work page 1998

  41. [41]

    Sakai: C*-Algebras and W*-Algebras

    S. Sakai: C*-Algebras and W*-Algebras. Springer, 1971. 48

    work page 1971

  42. [42]

    Strocchi: Introduction to the Mathematical Structure of Quantum Mech anics (2nd Edition)

    F. Strocchi: Introduction to the Mathematical Structure of Quantum Mech anics (2nd Edition). World Scientific Pub. Co. Inc., Singapore, 2008

    work page 2008

  43. [43]

    Takesaki

    M. Takesaki. Theory of Operator Algebras, Volume I. Springer, 2003

    work page 2003

  44. [44]

    A Comparison of Two Topos-Theoretic Approaches to Quantum Theory

    S.A.M. Wolters: A Comparison of Two Topos-Theoretic Approaches to Quan- tum Theory. Version 2, 2011. arXiv:1010.2031v2 [math-ph] 49

    work page internal anchor Pith review Pith/arXiv arXiv 2011