Categories for Quantum Theory

DOI10.1093/oso/9780198739623.001.0001zbMath1436.81004OpenAlexW4236251876MaRDI QIDQ5223344

Jamie Vicary, Chris Heunen

Publication date: 17 July 2019

Full work available at URL: https://doi.org/10.1093/oso/9780198739623.001.0001

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Quantum computation (81P68) Operator spaces and completely bounded maps (46L07) Research exposition (monographs, survey articles) pertaining to quantum theory (81-02) Abelian categories, Grothendieck categories (18E10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Quantum state spaces, operational and probabilistic concepts (81P16)

Related Items (40)

Monoidal Grothendieck construction ⋮ A covariant Stinespring theorem ⋮ Green 2-functors ⋮ Monoidal reverse differential categories ⋮ Quantum and braided ZX calculus* ⋮ Q-system completion for \(C^\ast 2\)-categories ⋮ Frobenius C∗-algebras and local adjunctions of C∗-correspondences ⋮ Tensor-restriction categories ⋮ The CBH characterisation theorem beyond algebraic quantum theory ⋮ Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration ⋮ The Safari of Update Structures: Visiting the Lens and Quantum Enclosures ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Q-system completion is a 3-functor ⋮ On Krull-Schmidt bicategories ⋮ Coend Optics for Quantum Combs ⋮ Sheaf representation of monoidal categories ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ MAKING STRIP FOLDING A MONOIDAL CATEGORY ⋮ Categorical composable cryptography: extended version ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Quantum Suplattices ⋮ Moore-Penrose Dagger Categories ⋮ Covariant quantum combinatorics with applications to zero-error communication ⋮ Axioms for the category of Hilbert spaces and linear contractions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Ternary operator categories ⋮ Categories of quantum and classical channels ⋮ Monoidal characterisation of groupoids and connectors ⋮ A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories ⋮ Unitary transformations of fibre functors ⋮ Frobenius objects in the category of spans ⋮ Braided Frobenius algebras from certain Hopf algebras ⋮ Quantum Mathematics in Artificial Intelligence ⋮ Hilbertian Frobenius algebras

This page was built for publication: Categories for Quantum Theory