“What is a Thing?”: Topos Theory in the Foundations of Physics

By A. Doering, C. Isham. 2008

182 citations recorded by the source corpus.

The goal of this article is to summarise the first steps in developing 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. In doing so we provide a new answer to Heidegger’s timeless question “What is a thing?”.

Subfields: Artificial Intelligence, Atomic and Molecular Physics, and Optics, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/fe7d49e4bdb0ec3fa8b1fdcb14596af00da560ad

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. É. O. Paquette
2. Bob Coecke
3. Miriam Backens
4. Edward Grefenstette

In Atomic and Molecular Physics, and Optics

1. Bob Coecke
2. É. O. Paquette
3. Ross Duncan
4. Miriam Backens

In Computational Theory and Mathematics

1. É. O. Paquette
2. Bob Coecke
3. Edward Grefenstette

Citations in the corpus

• Categories for the practising physicist (2009, background): “ly defined within [c→] : L→L:: a→c⊥ ∨(a∧c). Heyting algebras, that is, the order-theoretic incarnation of intuitionistic logic, and which play an important role in the recent work by Doering and Isham [33] are, by definition, Galois adjoints now defined within [c∧](a) ≤b⇐⇒a≤[c⇒](b). So theses Galois ad”