The BV-Logic of Spacetime InterventionsConfirmed

by James Hefford (Inria de Saclay)

Wednesday Feb 5, 2025, 11:00 a.m. → 1:00 p.m. America/Toronto

PI/3-301 - Alice Room (Perimeter Institute for Theoretical Physics)

I will give a general method for producing a process theory of local spacetime events and higher-order transformations from any base process theory of first-order maps. This process theory models events as intervention-context pairs, uniting the local actions by agents with the structure of the spacetime around them. I will show how this theory is richer than a standard process theory by permitting additional ways of composing agents beyond the usual tensor product, thereby capturing various strengths of possible spatio-temporal correlations. I will also explain the connection between these compositions and the logic "system BV".