Topos Approaches

Topos approaches organize quantum propositions through their classical measurement contexts and the relations between those contexts. They replace a single classical state space with a family of compatible local descriptions. The mathematical construction is established, while its interpretation as a preferred foundation for physics remains a specialized research program.

Helpful background. Quantum Logic explains why sharp propositions do not form one Boolean algebra; Kochen–Specker supplies the obstruction to global value assignments.

Contexts and the spectral presheaf

For a finite-dimensional complex Hilbert space, take contexts to be unital commutative *-subalgebras $V$ of the observable algebra: they are closed under adjoints as well as sums and products. In this finite-dimensional setting they are abelian von Neumann algebras, the contexts used by Döring and Isham. Inside a context, commuting observables admit a classical description by their joint spectral values.

Let $\Sigma(V)$ be the spectrum of $V$, meaning its multiplicative normalized complex-valued functionals. If $V'\subseteq V$, restricting a functional gives a map

$$\Sigma(V)\longrightarrow\Sigma(V'), \qquad \lambda\longmapsto\lambda|_{V'}.$$

The resulting contravariant assignment is the spectral presheaf. “Contravariant” means that inclusion of observable contexts induces a map in the opposite direction between their spectra.

A global section would choose one spectral value in every context, consistently under restriction. For the full matrix algebra in dimension at least three, the Kochen–Specker obstruction rules out such a choice. This is a precise no-global-assignment result; it does not say that each individual context lacks ordinary outcomes.

Approximating a proposition within a context

A projector $P$ need not belong to a chosen context $V$. Outer daseinisation replaces it by the least projector in that context lying above it:

$$\delta^o(P)_V= \bigwedge\{Q\in\operatorname{Proj}(V):P\leq Q\}.$$

In finite dimensions this meet is well defined. The replacement is the strongest available contextual proposition implied by the original one: it is the least projection in the context lying above $P$. Larger projections express weaker propositions because they admit more states.

For a qubit, choose the $Z$-diagonal context and let $P$ project onto $\lvert+\rangle$. Neither $Z$ eigenline contains that line, so the only contextual projection above $P$ is $I$. The approximation becomes trivial in this context, illustrating loss of resolution rather than a physical collapse.

Truth values and interpretation

The internal logic of a presheaf topos can assign generalized truth values described by suitable collections of subcontexts. A proposition may hold at some levels of available description without receiving a single context-independent true/false value.

This construction is not equivalent to saying that truth is arbitrary or determined by consciousness. Its contexts are mathematical subalgebras. Nor does changing the logical representation automatically modify empirical predictions, solve the outcome problem, or derive gravitational dynamics.

Döring and Isham develop the spectral-presheaf and daseinisation framework. Readers should distinguish its technical statements from broader interpretive motivations and from other uses of category theory.

Exercises

In the $Z$-diagonal qubit context, what is $\delta^o(P)_V$ when $P=\lvert0\rangle\langle0\rvert$?

Solution

It is $P$ itself, because $P$ already belongs to the context and is the least contextual projector above itself. Daseinisation preserves propositions already expressible in the chosen context, while potentially coarsening others.

References

• Döring, Andreas, and Chris J. Isham, “A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory,” Journal of Mathematical Physics 49, 053516 (2008). Paper.
• Kochen, Simon, and Ernst P. Specker, “The problem of hidden variables in quantum mechanics,” Journal of Mathematics and Mechanics 17, 59–87 (1967). Paper.