Dagger Compact Closed Categories and Completely Positive Maps
From MaRDI portal
Publication:2864173
DOI10.1016/j.entcs.2006.12.018zbMath1277.18008OpenAlexW1982928587MaRDI QIDQ2864173
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.12.018
Quantum computation (81P68) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (only showing first 100 items - show all)
Unnamed Item ⋮ The algebra of the Feistel-Toffoli construction ⋮ Representations of fusion categories and their commutants ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ Coend Optics for Quantum Combs ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Moore-Penrose Dagger Categories ⋮ A compositional framework for reaction networks ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bases in Diagrammatic Quantum Protocols ⋮ Generalised Mermin-type non-locality arguments ⋮ Biunitary constructions in quantum information ⋮ Concurrent Quantum Strategies ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ A Categorical Reconstruction of Quantum Theory ⋮ Categories with fuzzy sets and relations ⋮ Natural language semantics in biproduct dagger categories ⋮ A categorical foundation for structured reversible flowchart languages ⋮ Generalized relations in linguistics \& cognition ⋮ Reversible effects as inverse arrows ⋮ Borel kernels and their approximation, categorically ⋮ Interacting Hopf algebras ⋮ Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality ⋮ Pictures of complete positivity in arbitrary dimension ⋮ Causal categories: relativistically interacting processes ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ Symmetry, compact closure and dagger compactness for categories of convex operational models ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Terminality implies no-signalling\dots and much more than that ⋮ Facets of congruence distributivity in Goursat categories ⋮ Picturing classical and quantum Bayesian inference ⋮ Categories of rough sets and textures ⋮ The CBH characterisation theorem beyond algebraic quantum theory ⋮ Division algebras and quantum theory ⋮ A compositional approach to quantum functions ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ A Graph Theoretic Perspective on CPM(Rel) ⋮ Axiomatizing complete positivity ⋮ A Bestiary of Sets and Relations ⋮ Categorical Probabilistic Theories ⋮ Double Dilation $\neq$ Double Mixing (extended abstract) ⋮ A Shortcut from Categorical Quantum Theory to Convex Operational Theories ⋮ Higher-order CPM Constructions ⋮ Universal Properties in Quantum Theory ⋮ The Safari of Update Structures: Visiting the Lens and Quantum Enclosures ⋮ Coherence for closed categories with biproducts ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ On the categorical behaviour of \(V\)-groups ⋮ Unnamed Item ⋮ A diagrammatic derivation of the Hermitian adjoint ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Variations of the shifting lemma and Goursat categories ⋮ Unnamed Item ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Quantum picturalism for topological cluster-state computing ⋮ Unnamed Item ⋮ Area-dependent quantum field theory ⋮ Topological-like features in diagrammatical quantum circuits ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ The structure of sum-over-paths, its consequences, and completeness for Clifford ⋮ Categories of quantum and classical channels ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ A Compositional Framework for Passive Linear Networks ⋮ FJQuantum. A quantum object oriented language ⋮ Higher cyclic operads ⋮ Graph States and the Necessity of Euler Decomposition ⋮ Compositional Quantum Logic ⋮ Presheaf Models of Quantum Computation: An Outline ⋮ A new description of orthogonal bases ⋮ Categorical formulation of finite-dimensional quantum algebras ⋮ Props in Network Theory ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Unnamed Item ⋮ Sentence entailment in compositional distributional semantics ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ A compositional framework for Markov processes ⋮ Complete positivity and natural representation of quantum computations ⋮ On traced monoidal closed categories ⋮ Von Neumann categories ⋮ A channel-based perspective on conjugate priors ⋮ Hilbertian (function) algebras ⋮ The ZX-calculus is complete for stabilizer quantum mechanics ⋮ Exploring a Quantum Theory with Graph Rewriting and Computer Algebra ⋮ Information Processing in Convex Operational Theories ⋮ Toy Quantum Categories (Extended Abstract) ⋮ Game Semantics for Quantum Data ⋮ Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) ⋮ Categorical Formulation of Finite-dimensional C*-algebras ⋮ Phase Groups and the Origin of Non-locality for Qubits ⋮ Quantum Logic in Dagger Kernel Categories
Uses Software
Cites Work
This page was built for publication: Dagger Compact Closed Categories and Completely Positive Maps
