Prefer a chat interface with context about you and your work?
A topos foundation for theories of physics: I. Formal languages for physics
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a …