Categorifying the ZX-calculus
From MaRDI portal
Publication:3384948
zbMath1486.18023arXiv1704.07034MaRDI QIDQ3384948
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1704.07034
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
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
