A categorical semantics for causal structure

zbMath1442.68146arXiv1701.04732MaRDI QIDQ5228885

Sander Uijlen, Aleks Kissinger

Publication date: 13 August 2019

Full work available at URL: https://arxiv.org/abs/1701.04732

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Quantum state spaces, operational and probabilistic concepts (81P16)

Related Items (5)

A non-commutative Bayes' theorem ⋮ DisCoPy: Monoidal Categories in Python ⋮ Coend Optics for Quantum Combs ⋮ On the Pre- and Promonoidal Structure of Spacetime ⋮ Unnamed Item

This page was built for publication: A categorical semantics for causal structure