A categorical semantics for causal structure | IEEE Conference Publication | IEEE Xplore