The internal description of a causal set: What the universe looks like from the inside

Abstract

We describe an algebraic way to code the causal information of a discrete spacetime. The causal set C is transformed to a description in terms of the causal pasts of the events in C. This is done by an evolving set, a functor which to each event of C assigns its causal past. Evolving sets obey a Heyting algebra which is characterised by a non-standard notion of complement. Conclusions about the causal structure of the causal set can be drawn by calculating the complement of the evolving set. A causal quantum theory can be based on the quantum version of evolving sets, which we briefly discuss.

Version to appear in Comm.Math.Phys. (minor modifications). 37 pages, several eps figures

Cited by in corpus (13)

• `What is a Thing?': Topos Theory in the Foundations of Physics
• Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity
• Causal structures and causal boundaries
• Implementing causality in the spin foam quantum geometry
• A General Theory of Quantum Relativity
• Time and M-theory
• A fundamental problem in quantizing general relativity
• Dirac and Lagrangian reductions in the canonical approach to the first order form of the Einstein-Hilbert action
• A candidate for a background independent formulation of M theory
• Classical and Quantum Discrete Dynamical Systems
• Finitary Topos for Locally Finite, Causal and Quantal Vacuum Einstein Gravity
• Tensor networks for quantum causal histories
• Contextual extensions of quantum gravity models