Idempotents in dagger categories (extended abstract)

DOI10.1016/J.ENTCS.2008.04.021zbMATH Open1279.18006OpenAlexW2150909030MaRDI QIDQ2870211FDOQ2870211

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

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

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)

Cites Work

• Dagger compact closed categories and completely positive maps (extended abstract)
• Towards a quantum programming language
• Quantum measurements without sums
• Higher-dimensional algebra and topological quantum field theory
• \(W^ *\)-categories
• Title not available (Why is that?)

Cited In (30)

• 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
• Title not available (Why is that?)
• Categorical probabilistic theories
• Daggers, kernels, Baer *-semigroups, and orthomodularity
• Compositional quantum logic
• Coherence and strictification for self-similarity
• Completely positive projections and biproducts
• A categorical framework for the quantum harmonic oscillator
• 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
• Two roads to classicality

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)