Pith. sign in

REVIEW 2 cited by

Categorical Quantum Mechanics I: Causal Quantum Processes

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1510.05468 v3 pith:DUOALEB4 submitted 2015-10-19 quant-ph math.CT

classification quant-phmath.CT
keywords quantumtheoryprocessdiagramsgeneraltheoriesdefinefirst
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes and their interactions. In this first part of a three-part overview, we first present a general theory of diagrams, and in particular, of string diagrams. We discuss why diagrams are a very natural starting point for developing scientific theories. Then we define process theories, and define a very general notion of quantum type. We show how our process ontology enables us to assert causality, that is, compatibility of quantum theory and relativity theory, and we prove the no-signalling theorem. Other notable contributions include new, elegant derivations of the no-broadcasting theorem, unitarity of evolution, and Stinespring dilation, all for any 'quantum' type in a general class of process theories.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Latent Confounded Causal Discovery via Lie Bracket Geometry

    cs.LG 2026-06 unverdicted novelty 6.0 of 10

    Non-closing Lie brackets of intervention-response fields can serve as a high-recall screen for causal edges under latent confounding, but do not by themselves identify general DAGs.

  2. A unified approach to quantum resource theories and a new class of free operations

    quant-ph 2025-07 conditional novelty 6.0 of 10

    Quantum resource theories are unified by describing each as the automorphism group of a preferred algebraic structure, yielding a new family of complexified free operations for Lie-algebra-based theories.

Pith tools