A universe of processes and some of its guises

Our starting point is a particular canvas' aimed to draw’ theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this paper we consider the conceptual foundations for this canvas, and how these can then be converted into mathematical structure. With very little structural effort (i.e. in very abstract terms) and in a very short time span the categorical quantum mechanics (CQM) research program has reproduced a surprisingly large fragment of quantum theory. It also provides new insights both in quantum foundations and in quantum information, and has even resulted in automated reasoning software called `quantomatic’ which exploits the deductive power of CQM. In this paper we complement the available material by not requiring prior knowledge of category theory, and by pointing at connections to previous and current developments in the foundations of physics. This research program is also in close synergy with developments elsewhere, for example in representation theory, quantum algebra, knot theory, topological quantum field theory and several other areas.

💡 Research Summary

The paper proposes a conceptual “canvas” for drawing physical theories in which the mathematical backbone is a symmetric monoidal category (SMC). By treating physical systems as objects and physical transformations as morphisms, the authors show that the tensor product of an SMC naturally encodes the composition of subsystems, while categorical composition captures sequential processes. This “process‑centric” viewpoint replaces the traditional proposition‑centric quantum logic with a framework where the primitive notion is a transformation, aligning closely with the operational language of quantum information.

With remarkably modest structural assumptions—essentially the existence of a scalar object, a monoidal product, and compact closure (each object possessing a dual)—the categorical quantum mechanics (CQM) program reproduces a substantial fragment of quantum theory. The compact‑closed structure supplies the familiar “cup” and “cap” morphisms that generate and annihilate entanglement, allowing the authors to diagrammatically derive protocols such as quantum teleportation, entanglement swapping, and decoherence‑free subspaces without invoking Hilbert‑space vectors or operators. The graphical calculus, often called the “ZX‑calculus,” provides a high‑level, intuition‑friendly language: complex algebraic identities become simple topological deformations of wires and nodes.

Beyond foundational insight, the paper emphasizes practical outcomes. The authors describe Quantomatic, an automated reasoning tool built on graph‑rewriting techniques that manipulates the same string‑diagram language used in CQM. Quantomatic can automatically apply rewrite rules, check diagrammatic equalities, and even discover new optimizations for quantum circuits. The authors illustrate this capability by showing how Quantomatic reduces a teleportation circuit to a minimal form, verifies the equivalence of different error‑correction encodings, and assists in the synthesis of measurement‑based quantum computation patterns.

The work also situates CQM within a broader mathematical ecosystem. Compact‑closed categories are known to underlie topological quantum field theories (TQFTs); the same categorical structures appear in knot theory (via braid groups) and in the representation theory of quantum groups. By highlighting these connections, the authors argue that CQM serves as a unifying language bridging quantum physics, quantum algebra, and low‑dimensional topology.

In summary, the paper makes three interlocking contributions: (1) it articulates a minimal, process‑oriented categorical foundation for quantum theory; (2) it demonstrates that this foundation reproduces core quantum phenomena and protocols in a diagrammatic, compositional manner; and (3) it showcases an automated software environment, Quantomatic, that leverages the deductive power of the categorical framework for concrete tasks in quantum information science. The authors conclude that the synergy between abstract categorical reasoning and concrete computational tools opens promising avenues for both foundational research and practical quantum engineering.