PlanetPhysics/Category of H Algebras

The \htmladdnormallink{category {http://planetphysics.us/encyclopedia/Cod.html} of H $*$-algebras} is defined as the category whose objects are H $*$-algebras and whose morphisms are *-homomorphisms between H $*$-algebras that commute with the antilinear involution $*:\mathbb {A} _{H}\to \mathbb {A} _{H}$.

The construction of H $*$-algebras is sometimes called `groupoidification'