Causal categories: relativistically interacting processes
arXiv:1107.6019 · doi:10.1007/s10701-012-9646-8
Abstract
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the concept of a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a `causal category'. We provide methods of constructing causal categories, and we study the consequences of these methods for the general framework of categorical quantum mechanics.
43 pages, lots of figures
References in corpus (2)
Cited by in corpus (39)
- Quantum common causes and quantum causal models
- The completeness of quantum theory for predicting measurement outcomes
- Quasi-quantization: classical statistical theories with an epistemic restriction
- Quantum from principles
- Introduction to the book "Quantum Theory: Informational Foundations and Foils"
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Beyond Bell's Theorem II: Scenarios with arbitrary causal structure
- Dilation of states and processes in operational-probabilistic theories
- Categorical Probabilistic Theories
- Terminality implies non-signalling
- Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
- Space in Monoidal Categories
- Coherence for lenses and open games
- Causal and compositional structure of unitary transformations
- Agents, subsystems, and the conservation of information
- Quantum Causal Models
- Frobenius structures over Hilbert C*-modules
- ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
- A Categorical Reconstruction of Quantum Theory
- A categorical semantics for causal structure
- A Diagrammatic Approach to Information Transmission in Generalised Switches
- Quantum Supermaps are Characterized by Locality
- Picturing Indefinite Causal Structure
- An Operational Environment for Quantum Self-Testing
- Process tomography in general physical theories
- Distinguishability and copiability of programs in general process theories
- Effectuses in Categorical Quantum Foundations
- Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
- Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach
- Generalised Mermin-type non-locality arguments
- On the Pre- and Promonoidal Structure of Spacetime
- Hyper-decoherence in Density Hypercubes
- Causality in Higher Order Process Theories
- Reality, Causality, and Quantum Theory
- A Process-Theoretic Church of the Larger Hilbert Space
- Transition probability spaces in loop quantum gravity
- Giving Operational Meaning to the Superposition of Causal Orders
- A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing
- A decompositional framework for process theories in spacetime