Categorifying the ZX-calculus

zbMath1486.18023arXiv1704.07034MaRDI QIDQ3384948

Daniel Cicala

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1704.07034

Mathematics Subject Classification ID

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

Related Items (2)

Spans of cospans in a topos ⋮ Introduction to linear bicategories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The geometry of tensor calculus. I
• Double-pushout graph transformation revisited
• A compositional framework for Markov processes
• Toy Quantum Categories (Extended Abstract)
• Phase Groups and the Origin of Non-locality for Qubits
• A Survey of Graphical Languages for Monoidal Categories
• Quantum Computation and Quantum Information
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Interacting Quantum Observables
• The measurement calculus
• Graph States and the Necessity of Euler Decomposition
• Environment and Classical Channels in Categorical Quantum Mechanics
• Rewriting Measurement-Based Quantum Computations with Generalised Flow
• Quantum and Classical Structures in Nondeterminstic Computation
• Spans of cospans in a topos
• Spans of cospans
• Props in Network Theory
• A new description of orthogonal bases
• Interacting quantum observables: categorical algebra and diagrammatics
• A compositional framework for reaction networks

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