Categorical Formulation of Finite-Dimensional Quantum Algebras
Abstract
We describe how †-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 †-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.
- Publication:
-
Communications in Mathematical Physics
- Pub Date:
- June 2011
- DOI:
- 10.1007/s00220-010-1138-0
- arXiv:
- arXiv:0805.0432
- Bibcode:
- 2011CMaPh.304..765V
- Keywords:
-
- Quantum Physics;
- Mathematics - Category Theory
- E-Print:
- 34 pages, to appear in Communications in Mathematical Physics