Category:Examples of Idempotent Semigroups