nucleation

LIT-378: 'What is a Thing?': Topos Theory in the Foundations of Physics

2 min read

Properties4
StatusActive — read in full 2026-10-01 (NOTE-326); worth reading as the one-volume statement of the Döring–Isham topos programme. It is, by the authors' own account (p. 14), "partly an amalgam" of papers I–IV (LIT-343, LIT-335, LIT-299, LIT-310), with corrections and some new material. The new material is the value of a quantity in a pseudo-state and the inverse-image link between L(S) and PL(S) (§§8.5–8.8, Thm 8.6), the algebra of the candidate quantity-value objects (§9.3), the Boolean-subalgebra base category (§5.5.3), Kochen–Specker as a lifting obstruction (§6.6), and a long speculative §14–15. It adds no new no-go result. Its proofs are as sketchy as the series' at the same places: Sub_cl(Σ) is Heyting (Thm 16.1) with ⇒ left unwritten, and ι : O → P_clΣ natural and monic is left to the reader. A reader who has read I–IV gains only §§8.5–8.8, 9.3 and 14; a reader new to the programme should start here.
Tagsquantum-foundations, contextuality, mathematics, logic, philosophy-of-science, mereology
Cited as “paper” byNOTE-326 — 'What is a Thing?': Topos Theory in the Foundations of Physics
Cited as “source” byTHEORY-553 — In the Döring–Isham topos representation of quantum theory a bounded physical quantity cannot take values in the topos's real-number object; it is represented faithfully by an arrow from the spectral presheaf to a presheaf of monotone real functions over subcontexts, so its value at a context is a spread that widens as the context shrinks, and these values form only a commutative monoid, under which sums of daseinised quantities are not daseinisations of sums, THEORY-585 — In the Döring–Isham scheme for realising collections of systems in topoi, disjoint sums of quantum systems compose exactly; along a tensor product of finite-dimensional systems, the pull-back of a constituent's quantity agrees with the composite's own quantity at a context exactly when every projection in it with proper support on the first factor has the form P⊗1, so it fails for every non-scalar quantity and no operator on the composite realises the pull-back

Graph View

Andreas Döring, Chris Isham (2008), arXiv preprint, v1 only; published in B. Coecke (ed.), New Structures for Physics, Lecture Notes in Physics 813, Springer 2010, pp. 753–937 — arXiv:0803.0417

Standing in the record

Filed on 2026-10-01 at the owner’s request. It came from the anthology’s issue 180 revisit pass (https://github.com/dmarx/anthology-of-the-sota/issues/180): the owner opened it in his reading feed on three separate days and said it belongs in nucleation. No anthology topic can hold it, and it is not held there. published: is the first appearance (ADR-002).

The record already holds the four Journal of Mathematical Physics papers this one amalgamates, each read in full: the programme and its languages (LIT-343), daseinisation and truth objects (LIT-335), the quantity-value presheaves (LIT-299), and the category of systems (LIT-310). It also holds the paper the programme grew from, Isham and Butterfield’s generalized-valuation reformulation of Kochen–Specker (LIT-325), and Kochen and Specker themselves (LIT-298). The sheaf-theoretic account of contextuality in Abramsky and Brandenburger (LIT-016) is the other “no global section” line in the record; this paper predates it and does not engage it. Arsiwalla’s pregeometry essay (LIT-102) points readers to this programme as the worked formal-language approach.

NOTE-326 is the close reading of 2026-10-01, and it placed the work: Active. It is the place to read the Döring–Isham programme in one sitting, and it is the reference most later work cites for it. As mathematics it adds little to papers I–IV. Its new results are the inverse-image corollary tying PL(S) to L(S) (Thm 8.6, Cor 8.7), the value of a quantity in a pseudo-state (§8.5), and the algebra of the quantity-value candidates (§9.3). It also restates Kochen–Specker as an obstruction to lifting a pseudo-state (§6.6). The rest is the series again. That includes the series’ gaps: the Heyting structure on Sub_cl(Σ) is sketched, not proved (Thm 16.1), so this paper does not meet the promotion condition of THEORY-037. §14–15 are speculation, and the authors say so (fn. 131).

Backlinks