Causal Sets and Frame-Valued Set Theory



Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other f4v compatible player.


Recording Details

Speaker(s): 
Scientific Areas: 
Collection/Series: 
Subjects: 
PIRSA Number: 
12050049

Abstract

In spacetime physics any set C of events—a causal set—is taken to be partially ordered by the relation £ of possible causation: for p, q Î C,   p £ q means that q is in p’s future light cone. Fotini Markopoulou has proposed that the causal structure of spacetime itself be represented by “sets evolving over C” —that is, in essence, by the topos Set C of presheaves on Cop.  In this talk I am going to show how Set  C may be effectively replaced by a certain model V(H)of intuitionistic set theory—frame-valued set theory—with (I hope) illuminating results. In particular, Markopoulou’s idea of viewing the universe “from the inside” will amount to placing oneself “inside” V(H). I will also sketch the role played in this framework by covering schemes and sheaves.