category of H *-algebras

Definition 0.1  

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 $ *:\mathbb{A}_H \to \mathbb{A}_H$ .

Remark 0.1   The construction of H $ *$ -algebras is sometimes called `groupoidification'



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.