A complete logic for causal consistency

Will Simmons, Aleks Kissinger

The $\mathrm{Caus}[-]$ construction takes a base category of ``raw materials'' and builds a category of higher order causal processes, that is a category whose types encode causal…