Space of gauges is like the space of all possible rewriting orders
Space of gauges is like the space of all possible rewriting orders
Rewriting orders are defined by a local potential
With every point there is a forward light cone
With every point there is a forward light cone
Strong confluence ⇔ local gauge invariance
Strong confluence ⇔ local gauge invariance
Confluence after a bounded number of steps
In this case, making a perturbation should produce a “gauge ripple” in the causal network.
Confluence ⇔ general covariance
Confluence ⇔ general covariance
Event horizon: reachability in causal network
Event horizon: reachability in causal network