nLab
star-monoid

A **-monoid is a monoid with a compatible involution. The compatibility requirement is this:

(ab) *=b *a *. (a b)^* = b^* a^* .

These generalize to **-rings, C *C^*-algebras, dagger categories, etc.

Created on August 28, 2014 at 21:46:16. See the history of this page for a list of all contributions to it.