The category 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 .