Introducing categories to the practicing physicist

We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics, but that monoidal categories constitute the actual algebra of practicing physics. We will not provide rigorous definitions or anything resembling a coherent mathematical theory, but we will take the reader for a journey introducing concepts which are part of category theory in a manner that the physicist will recognize them.

💡 Research Summary

The paper makes a bold claim that category theory, far from being a purely abstract branch of mathematics, should become a routine part of a physicist’s toolbox, especially for those working in quantum physics and quantum information science. The authors do not aim to present a formal, theorem‑laden exposition; instead, they adopt a pedagogical style that translates the language of monoidal categories into concepts that practicing physicists already use, such as tensor products, operator composition, and multipartite systems.

The central argument is built on two pillars. First, the authors point out that the standard formalism of quantum mechanics—Hilbert spaces as objects and linear maps as morphisms—already forms a category. When one adds the tensor product, together with the unit object (the vacuum or trivial system) and the natural associator isomorphisms, the structure becomes a monoidal (or “single‑object”) category. In this view, the algebra of combining systems, the rules for associating brackets, and the existence of a neutral element are not ad‑hoc constructions but the defining data of a monoidal category. The paper emphasizes that even the non‑commutative aspects of quantum theory, such as the ordering of operators, can be captured by braided or symmetric monoidal categories, where the braiding morphism encodes the exchange of subsystems.

Second, the authors extend the discussion to quantum information processing, where circuits, channels, measurements, and error‑correction codes naturally live in a “multicategorical” setting. A quantum circuit with many inputs and outputs is interpreted as a morphism in a multicategory, and the composition of channels corresponds to categorical composition. The paper draws a parallel with linear logic and process algebras, noting that the same diagrammatic reasoning used in categorical quantum mechanics provides a concise visual language for reasoning about complex protocols. By representing these protocols as string diagrams, physicists can see at a glance how information flows, where entanglement is created, and how different components compose.

While the narrative is accessible, the authors deliberately omit rigorous definitions, proofs, and a systematic development of the underlying mathematics. This choice makes the text inviting for readers unfamiliar with category theory, but it also leaves a gap for those who wish to apply the ideas concretely. The paper lacks detailed worked examples—such as an explicit categorical derivation of the Bell‑state preparation or a step‑by‑step translation of a quantum error‑correction code into a string‑diagram calculus. Moreover, the authors do not discuss existing software tools (e.g., Quantomatic, Catlab) that could help bridge the gap between abstract diagrams and concrete calculations.

In the concluding section, the authors argue that embracing categorical language will improve conceptual clarity, reduce notational clutter, and foster better communication between physicists and mathematicians. They suggest that future work should focus on mapping specific physical models—topological quantum field theories, measurement‑based quantum computation, and quantum thermodynamics—onto categorical frameworks, and on integrating automated diagrammatic reasoning tools into everyday research workflows.

Overall, the paper serves as a manifesto rather than a technical manual. It convincingly argues that monoidal categories capture the “algebra of practicing physics,” but it stops short of providing the detailed machinery needed for immediate adoption. The next step for the community will be to supplement this philosophical perspective with concrete case studies, algorithmic implementations, and pedagogical resources that make categorical methods as routine as the Schrödinger equation in the quantum physicist’s repertoire.