Categorifying the ZX-calculus

MaRDI QIDQ3384948zbMATH OpenFDO

Authors Daniel Cicala

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1704.07034, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2017.19

Mathematics Subject Classification ID

Topoi (18B25) Monoidal categories, symmetric monoidal categories (18M05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum measurement theory, state operations, state preparations (81P15)

Abstract: We build a symmetric monoidal and compact closed bicategory by combining spans and cospans inside a topos. This can be used as a framework in which to study open networks and diagrammatic languages. We illustrate this framework with Coecke and Duncan's zx-calculus by constructing a bicategory with the natural numbers for 0-cells, the zx-calculus diagrams for 1-cells, and rewrite rules for 2-cells.

Recommendations

• Spans of cospans in a topos
• A bicategory of decorated cospans
• Compact closed bicategories
• Structured cospans
• Structured versus decorated cospans

Cites work

• A compositional framework for Markov processes
• A compositional framework for reaction networks
• A new description of orthogonal bases
• A survey of graphical languages for monoidal categories
• Double-pushout graph transformation revisited
• Globular: an online proof assistant for higher-dimensional rewriting
• Graph states and the necessity of Euler decomposition
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• Interacting Quantum Observables
• Interacting quantum observables: categorical algebra and diagrammatics
• Phase groups and the origin of non-locality for qubits
• Props in Network Theory
• Quantomatic: a proof assistant for diagrammatic reasoning
• Quantum and Classical Structures in Nondeterminstic Computation
• Quantum computation and quantum information. 10th anniversary edition
• Quantum measurements without sums
• Rewriting measurement-based quantum computations with generalised flow
• Spans of cospans
• Spans of cospans in a topos
• The geometry of tensor calculus. I
• The measurement calculus
• Toy quantum categories (extended abstract)

Cited in

(6)

• Introduction to linear bicategories
• Spans of cospans in a topos
• A topological perspective on interacting algebraic theories
• Open diagrams via coend calculus
• DisCoPy: monoidal categories in Python
• scientific article; zbMATH DE number 7327933 (Why is no real title available?)

This page was built for publication: Categorifying the ZX-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384948)