Idempotents in Dagger Categories
From MaRDI portal
Publication:2870211
DOI10.1016/j.entcs.2008.04.021zbMath1279.18006OpenAlexW2150909030MaRDI QIDQ2870211
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
Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (22)
A Categorical Reconstruction of Quantum Theory ⋮ The Karoubi envelope and weak idempotent completion of an extriangulated category ⋮ Quotient Categories and Phases ⋮ Self-replicating 3-manifolds ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ A compositional approach to quantum functions ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Axiomatizing complete positivity ⋮ Categorical Probabilistic Theories ⋮ The Safari of Update Structures: Visiting the Lens and Quantum Enclosures ⋮ Moore-Penrose Dagger Categories ⋮ Unnamed Item ⋮ Idempotents in Tangle Categories Split ⋮ Unnamed Item ⋮ Coherence and strictification for self-similarity ⋮ Join inverse categories and reversible recursion ⋮ Categories of quantum and classical channels ⋮ Compositional Quantum Logic ⋮ Generalised Mermin-type non-locality arguments ⋮ A categorical framework for the quantum harmonic oscillator ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Categorical Properties of The Complex Numbers
Uses Software
Cites Work
This page was built for publication: Idempotents in Dagger Categories
