Categorical formulation of finite-dimensional quantum algebras
From MaRDI portal
(Redirected from Publication:543370)
Abstract: We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between finite-dimensional C*-algebras and certain types of dagger-Frobenius monoids in the category of Hilbert spaces. Using this technology, we recast the spectral theorems for commutative C*-algebras and for normal operators into an explicitly categorical language, and we examine the case that the results of measurements do not form finite sets, but rather objects in a finite Boolean topos. We describe the relevance of these results for topological quantum field theory.
Recommendations
- Categorical formulation of finite-dimensional \(C^*\)-algebras
- Catenarity in quantum algebras
- scientific article
- Categorification of algebraic quantum field theories
- Categorification and the quantum Grassmannian
- Categories over quantum affine algebras and monoidal categorification
- Categorification and quasi-Hopf algebras
- Monoidal categorification and quantum affine algebras
- Catenarity in quantum nilpotent algebras
- Categorification of integrable representations of quantum groups
Cites work
- scientific article; zbMATH DE number 48576 (Why is no real title available?)
- scientific article; zbMATH DE number 2049998 (Why is no real title available?)
- scientific article; zbMATH DE number 1550535 (Why is no real title available?)
- scientific article; zbMATH DE number 776168 (Why is no real title available?)
- scientific article; zbMATH DE number 782139 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A new duality theory for compact groups
- A theory of dimension
- Abstract Physical Traces
- Completeness of \(\dagger\)-categories and the complex numbers
- Dagger compact closed categories and completely positive maps (extended abstract)
- Frobenius monads and pseudomonoids
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
- Higher-dimensional algebra. II: 2-Hilbert spaces
- Lattice topological field theory in two dimensions
- Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras
- Quantum invariants of knots and 3-manifolds
- Quantum measurements without sums
- Quantum quandaries: a category-theoretic perspective
- STATE SUM CONSTRUCTION OF TWO-DIMENSIONAL OPEN-CLOSED TOPOLOGICAL QUANTUM FIELD THEORIES
- Sheaves in geometry and logic: a first introduction to topos theory
- Spherical categories
- TWO-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS
- The geometry of tensor calculus. I
- Toy quantum categories (extended abstract)
- \(2-C^{*}\)-categories with non-simple units
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
Cited in
(37)- A compositional approach to quantum functions
- On the structure of abstract \(H^*\)-algebras
- Some graphical aspects of Frobenius algebras.
- A covariant Stinespring theorem
- A categorical reconstruction of quantum theory
- Unitary dual functors for unitary multitensor categories
- Q-system completion for \(C^\ast 2\)-categories
- Categorically Morita equivalent compact quantum groups
- Generalised Mermin-type non-locality arguments
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Quantum symmetries of Hadamard matrices
- Quon language: surface algebras and Fourier duality
- Quotient categories and phases
- Categories of relations as models of quantum theory
- Categorical properties of the complex numbers
- $Q$-systems and compact $W^*$-algebra objects
- A 2-Categorical Approach to Composing Quantum Structures.
- Discrete quantum structures. I: Quantum predicate logic
- Classification of quantum graphs on M2 and their quantum automorphism groups
- Two roads to classicality
- Reversible monadic computing
- The Morita theory of quantum graph isomorphisms
- Categorical formulation of finite-dimensional \(C^*\)-algebras
- scientific article; zbMATH DE number 7649902 (Why is no real title available?)
- Quantum sets
- scientific article; zbMATH DE number 5076897 (Why is no real title available?)
- Compositional quantum logic
- Categories of quantum and classical channels
- Algebraic connectedness and bipartiteness of quantum graphs
- Some examples of quantum graphs
- scientific article; zbMATH DE number 5212712 (Why is no real title available?)
- Geometric quantization and epistemically restricted theories: the continuous case
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- Frobenius structures over Hilbert \(C^*\)-modules
- Monoidal characterisation of groupoids and connectors
- Infinite-dimensional categorical quantum mechanics
- Presentations of projective quantum groups
This page was built for publication: Categorical formulation of finite-dimensional quantum algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543370)