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 .

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