Topos Approach To Physical Theories

Topos approach to physical theories

A brief introduction, primarily aimed at physicists, can be found in

• A. Doering, Topos Theory and `neo-realist' Quantum Theory

Many more results and details on this subject can be found in the recent papers by Andreas Doering and Chris Isham:

• A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
• A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
• A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
• A Topos Foundation for Theories of Physics: IV. Categories of Systems

A closely related paper, containing further results and emphasising C*-algebras, is

• C. Heunen, B. Spitters, `A topos for algebraic quantum theory'

Another related paper is

• K. Nakayama, `Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics'