category of H -algebras
Definition 0.1.
The category of H -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
.
Remark 0.1.
The construction of H -algebras is sometimes called ‘groupoidification’