Deriving dagger compactness

MaRDI QIDQ5020636zbMATH OpenFDO

Authors Sean Tull

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1907.05172, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2019.11

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Dagger compact closed categories and completely positive maps (extended abstract)
• Symmetry, compact closure and dagger compactness for categories of convex operational models
• scientific article; zbMATH DE number 7471668
• A categorical reconstruction of quantum theory
• A diagrammatic derivation of the Hermitian adjoint

Cites work

• A diagrammatic derivation of the Hermitian adjoint
• A survey of graphical languages for monoidal categories
• Axiomatic description of mixed states from Selinger's CPM-construction
• Cartesian bicategories. I
• Categories for the Practising Physicist
• Categories of relations as models of quantum theory
• Dagger compact closed categories and completely positive maps (extended abstract)
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Limited holism and real-vector-space quantum theory
• Purity through factorisation
• Symmetry, compact closure and dagger compactness for categories of convex operational models

Cited in

(1)

• Deriving Dagger Compactness

This page was built for publication: Deriving dagger compactness

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