A categorical semantics for causal structure
We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode...
Main Authors: | , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Logical Methods in Computer Science
2019
|