Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories

DOI10.1016/j.entcs.2011.01.027zbMath1348.81174arXiv1006.1011OpenAlexW2138228565WikidataQ113318311 ScholiaQ113318311MaRDI QIDQ2825368

Dusko Pavlovic

Publication date: 7 October 2016

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

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

zbMATH Keywords

Hilbert spacequantum computationspancomprehension principletest spacecomplementary observable

Mathematics Subject Classification ID

Related Items (5)

Monoidal computer. I: Basic computability by string diagrams ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations ⋮ Reversible monadic computing ⋮ Unnamed Item

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coalgebras, Chu spaces, and representations of physical systems
• Big toy models. Representing physical systems as Chu spaces
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Weakly distributive categories
• Coherence for compact closed categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Categorical logic and type theory
• The logic of quantum mechanics
• Toy Quantum Categories (Extended Abstract)
• Phase Groups and the Origin of Non-locality for Qubits
• Dagger Compact Closed Categories and Completely Positive Maps
• Interacting Quantum Observables
• Classical and quantum structuralism
• The Compositional Structure of Multipartite Quantum Entanglement
• Quantum and Classical Structures in Nondeterminstic Computation
• The mix rule
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• Towards a quantum programming language
• A new description of orthogonal bases
• An Approach to Empirical Logic

This page was built for publication: Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories