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

Published in:	Logical Methods in Computer Science
Main Authors:	Aleks Kissinger, Sander Uijlen
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2019-08-01
Subjects:	quantum physics computer science - logic in computer science mathematical physics mathematics - category theory
Online Access:	https://lmcs.episciences.org/4426/pdf