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...

Full description

Bibliographic Details
Main Authors: Aleks Kissinger, Sander Uijlen
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2019-08-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/4426/pdf