nLab star-monoid

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

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

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