Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
From MaRDI portal
Publication:2825368
DOI10.1016/j.entcs.2011.01.027zbMath1348.81174arXiv1006.1011OpenAlexW2138228565WikidataQ113318311 ScholiaQ113318311MaRDI QIDQ2825368
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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