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.

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