Idempotents in dagger categories (extended abstract)

DOI10.1016/J.ENTCS.2008.04.021MaRDI QIDQ2870211zbMATH OpenOpenAlexFDO

Authors Peter Selinger

Publication date 17 January 2014

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.2008.04.021

zbMATH Keywords

idempotentsquantum computingdagger categoriesCPM construction

Mathematics Subject Classification ID

Quantum computation (81P68) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Dagger compact closed categories and completely positive maps (extended abstract)
• Categories of Quantum and Classical Channels (extended abstract)
• Completely positive projections and biproducts
• Categories for Quantum Theory
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories

Cites work

• scientific article; zbMATH DE number 3296287 (Why is no real title available?)
• Dagger compact closed categories and completely positive maps (extended abstract)
• Higher-dimensional algebra and topological quantum field theory
• Quantum measurements without sums
• Towards a quantum programming language
• W^ *-categories

Cited in

(30)

• Two roads to classicality
• The Karoubi envelope and weak idempotent completion of an extriangulated category
• Idempotents in tangle categories split
• Quotient categories and phases
• Axiomatizing complete positivity
• Join inverse categories as models of reversible recursion
• Categorical properties of the complex numbers
• Generalised Mermin-type non-locality arguments
• Idempotent residuated structures: Some category equivalences and their applications
• Exponential modalities and complementarity (extended abstract)
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
• A compositional approach to quantum functions
• A categorical reconstruction of quantum theory
• Self-replicating 3-manifolds
• Moore-Penrose Dagger Categories
• Dagger compact closed categories and completely positive maps (extended abstract)
• Hyper-decoherence in density hypercubes
• CPM categories for Galois extensions
• scientific article; zbMATH DE number 1496861 (Why is no real title available?)
• Daggers, kernels, Baer *-semigroups, and orthomodularity
• Categorical probabilistic theories
• Compositional quantum logic
• Coherence and strictification for self-similarity
• A categorical framework for the quantum harmonic oscillator
• Completely positive projections and biproducts
• Join inverse categories and reversible recursion
• Idempotents in bicategories
• The safari of update structures: visiting the lens and quantum enclosures
• Categories of quantum and classical channels

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Idempotents in dagger categories (extended abstract)

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