The categoryof 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 ∗ : 𝔸H→ 𝔸H.
Remark 0.1.The construction of H ∗-algebras is sometimes called ‘groupoidification’
This is version 2 of category of H *-algebras, born on 2009-01-26, modified 2009-01-26.
Object id is 431, canonical name is CategoryOfHAlgebras.
Accessed 2047 times total.