A categorical semantics for causal structure - Kissinger, A; Uijlen, S (Logical Methods in Computer Science, 2019)