Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

DOI10.1007/978-3-540-85110-3_8zbMATH Open1166.68343OpenAlexW1569848528MaRDI QIDQ5505491FDOQ5505491

Authors: Lucas Dixon, Ross Duncan 

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_8

Recommendations

• Graphical reasoning in compact closed categories for quantum computation
• Categories of semigroups in quantum computational structures
• Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras
• A categorical model for a quantum circuit description language (extended abstract)
• A categorical presentation of quantum computation with anyons
• Total and partial computation in categorical quantum foundations
• Categorical quantum circuits
• On extended graphical calculus for categorified quantum \(sl(n)\)
• A 2-Categorical Approach to Composing Quantum Structures.
• Extended graphical calculus for categorified quantum \(\mathrm{sl}(2)\)

zbMATH Keywords

categorical logicquantum computinginteractive theorem provinggraph rewritinggraphical calculi

Mathematics Subject Classification ID

Quantum computation (81P68) Grammars and rewriting systems (68Q42) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited In (3)

• Graphical reasoning in compact closed categories for quantum computation
• Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing
• Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

This page was built for publication: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

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