Categorical Formulation of Finite-dimensional C*-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 †-Frobenius monoids in the category of finite-dimensional complex Hilbert spaces. This gives a new, geometrical definition of finite-dimensional C*-algebras, contrasting with the conventional algebraic one.