Definition 4.9.6.  Let u ∈ . We define:
Remarks.

The objects of this category are actually isomorphism classes of semigroups.