category of H $*$ -algebras

Definition 0.1.

The category of H $\mathrm{*}$-algebras is defined as the category whose objectsare H $*$-algebras (http://planetmath.org/HAlgebra) and whose morphisms are *-homomorphisms between H $*$-algebrasthat commute with the antilinear involution $*:{𝔸}_H\to {𝔸}_H$.

Remark 0.1.

The construction of H $*$-algebras is sometimes called ‘groupoidification’