The category of commutative Hopf \(C^*\)-algebras (Q2366267)

The author studies the category of commutative Hopf \(C^*\)-algebras. As the first result, it is proved that this category is isomorphic to the category of compact semigroups. It is also demonstrated that there exists an isomorphism between the categories of commutative, cocommutative Hopf \(C^*\)-algebras with counits and of compact Abelian semigroups with units. In particular this results in the theorem that the category of commutative, cocommutative compact quantum groups is Abelian. This theorem generalizes the Grothendieck result concerning the category of finite-dimensional commutative, cocommutative Hopf algebras with antipodes.