Title:Categorical formulation of quantum algebras

Abstract: We describe how dagger-Frobenius monoids give the correct categorical description of two kinds of finite-dimensional `quantum algebras'. We develop the concept of an involution monoid, and use it to show that finite-dimensional C*-algebras are the same as special unitary dagger-Frobenius monoids in the category of finite-dimensional complex Hilbert spaces. The spectral theorems for commutative C*-algebras and for normal operators are discussed from this perspective, and we formulate them in an explicitly categorical way. We examine the case that the results of measurements do not form finite sets, but rather objects in a finite Boolean topos, and are motivated to define the term `finite quantum Boolean topos'. We end with a study of the 2-categorical generalisation, and show that 2-H*-algebras are the same as dagger-Frobenius pseudomonoids in the bicategory of 2-Hilbert spaces.