Causal categories: relativistically interacting processes
From MaRDI portal
(Redirected from Publication:352872)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3137325 (Why is no real title available?)
- scientific article; zbMATH DE number 3931797 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4036509 (Why is no real title available?)
- scientific article; zbMATH DE number 49833 (Why is no real title available?)
- scientific article; zbMATH DE number 3208040 (Why is no real title available?)
- scientific article; zbMATH DE number 3240363 (Why is no real title available?)
- scientific article; zbMATH DE number 3344105 (Why is no real title available?)
- A categorical framework for the quantum harmonic oscillator
- A domain of spacetime intervals in general relativity
- A survey of graphical languages for monoidal categories
- A universe of processes and some of its guises
- Algebraic quantum mechanics and pregeometry
- An Algebraic Approach to Quantum Field Theory
- Categories for the Practising Physicist
- Causality Implies the Lorentz Group
- Coherence for compact closed categories
- Completely positive linear maps on complex matrices
- Dagger compact closed categories and completely positive maps (extended abstract)
- Discrete quantum causal dynamics
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract)
- Foliable operational structures for general probabilistic theories
- Higher-dimensional algebra and topological quantum field theory
- Introduction to categories and categorical logic
- Linear transformations which preserve trace and positive semidefiniteness of operators
- No-cloning in categorical quantum mechanics
- Phase groups and the origin of non-locality for qubits
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Process, distinction, groupoids and Clifford algebras: an alternative view of the quantum formalism
- Quantum Mechanics and Hilbert Space
- Quantum causal histories
- Quantum quandaries: a category-theoretic perspective
- Rewriting measurement-based quantum computations with generalised flow
- The class of continuous timelike curves determines the topology of spacetime
- The geometry of tensor calculus. I
- The point of pointless topology
- Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
Cited in
(28)- On the Pre- and Promonoidal Structure of Spacetime
- A categorical reconstruction of quantum theory
- Transition probability spaces in loop quantum gravity
- Generalised Mermin-type non-locality arguments
- Categorical semantics for time travel
- Custom hypergraph categories via generalized relations
- Purity through factorisation
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Density Hypercubes, Higher Order Interference and Hyper-decoherence: A Categorical Approach
- A diagrammatic approach to information transmission in generalised switches
- Hyper-decoherence in density hypercubes
- Giving operational meaning to the superposition of causal orders
- Causality in higher order process theories
- Categorical probabilistic theories
- Von Neumann categories
- Beyond Bell's theorem. II: Scenarios with arbitrary causal structure
- Causal processes in \(\mathrm{C}^\ast\)-algebraic setting
- Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
- Space in Monoidal Categories
- A categorical semantics for causal structure
- A categorical semantics for causal structure
- The CBH characterisation theorem beyond algebraic quantum theory
- Frobenius structures over Hilbert \(C^*\)-modules
- A universe of processes and some of its guises
- Terminality implies no-signalling\dots and much more than that
- Improvement in estimating the population mean using two-stage balanced groups ranked set sampling
- Local causation
- Picturing indefinite causal structure
This page was built for publication: Causal categories: relativistically interacting processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q352872)
