Quantum collections
From MaRDI portal
Abstract: We develop the viewpoint that the opposite of the category of W*-algebras and unital normal *-homomorphisms is analogous to the category of sets and functions. For each pair of W*-algebras, we construct their free exponential, which in the context of this analogy corresponds to the collection of functions from one of these W*-algebras to the other. We also show that every unital normal completely positive map between W*-algebras arises naturally from a normal state on their free exponential.
Recommendations
Cites work
- A topos for algebraic quantum theory
- A von Neumann algebra approach to quantum metrics
- Categorical W ∗ -Tensor Product
- scientific article; zbMATH DE number 4181568 (Why is no real title available?)
- scientific article; zbMATH DE number 3647575 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 3248454 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- scientific article; zbMATH DE number 3326336 (Why is no real title available?)
- On Point Realizations of L^\infty-Endomorphisms.
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Positive Functions on C ∗ -Algebras
- Quantum relations
- Sheaves in geometry and logic: a first introduction to topos theory
- States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
- The standard form of von Neumann algebras.
- Theory of operator algebras I.
- Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
Cited in
(14)- Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras
- A category of quantum posets
- Classical control and quantum circuits in enriched category theory
- A skeletal model for \(2\mathrm{d}\) conformal AQFTs
- Quantum programming with inductive datatypes: causality and affine type theory
- Categorical aspects of compact quantum groups
- Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
- Quantum states as virtual singletons: converting duality into symmetry
- Classical control, quantum circuits and linear logic in enriched category theory
- Quantum sets
- The geometry of discrete \(L\)-algebras
- Categories of quantum cpos
- Monoidal quantaloids
- Quantum coherence spaces revisited: a von Neumann (co)algebraic approach
This page was built for publication: Quantum collections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4595314)