PlanetPhysics/Category of H Algebras

The \htmladdnormallink{category {http://planetphysics.us/encyclopedia/Cod.html} of H $*$-algebras} is defined as the category whose [[../TrivialGroupoid/|objects]] are [[../HAlgebra/|H $*$-algebras]] and whose [[../TrivialGroupoid/|morphisms]] are [[../Homomorphisms/|*-homomorphisms]] between H $*$-algebras that [[../Commutator/|commute]] with the antilinear involution $*:{𝔸}_H\to {𝔸}_H$.

The construction of H $*$-algebras is sometimes called `[[../Cod/|groupoidification]]' Template:CourseCat