## 09 A topos for algebraic quantum theory

- Chris Heunen, Nicolaas P. Landsman Bas Spitters
- 2018

@inproceedings{Dring2007ATF, title={A Topos Foundation for Theories of Physics : IV . Categories of Systems}, author={Andreas D{\"o}ring and C. J. Isham}, year={2007} }

- Published 2007

This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ… CONTINUE READING