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'