category of H $*$ -algebras

Definition 0.1.

The category of H $\mathrm{*}$-algebras is defined as the category whose objects are H $*$-algebras (http://planetmath.org/HAlgebra) and whose morphisms are *-homomorphisms between H $*$-algebras that commute with the antilinear involution $*:{𝔸}_H\to {𝔸}_H$.

Remark 0.1.

The construction of H $*$-algebras is sometimes called ‘groupoidification’

Title	category of H $*$ -algebras
Canonical name	CategoryOfHalgebras
Date of creation	2013-03-22 18:26:45
Last modified on	2013-03-22 18:26:45
Owner	bci1 (20947)
Last modified by	bci1 (20947)
Numerical id	10
Author	bci1 (20947)
Entry type	Definition
Classification	msc 20G42
Classification	msc 46N50
Classification	msc 18-00
Classification	msc 81R05
Classification	msc 81R15
Synonym	groupoidification
Related topic	HAlgebra
Related topic	IndexOfCategories
Defines	groupoidification