Andreas Doering
Published 2007-12-24Version 1
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves as a `mathematical universe' with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how this works for (algebraic) quantum theory.
Comments: 22 pages, no figures; contribution for Proceedings of workshop "Recent Developments in Quantum Field Theory", MPI MIS Leipzig, July 2007
Journal: In Quantum Field Theory, Competitive Models, eds. B. Fauser, J. Tolksdorf, E. Zeidler, 25-47, Birkhaeuser (2009)
A brief introduction to the Foundations of Quantum Theory and an analysis of the Frauchiger-Renner paradox
Information-theoretic postulates for quantum theory
A derivation of quantum theory from physical requirements
![QR code for arXiv:0712.4003 [quant-ph]](http://oss.arxitics.com/images/favicon.svg)