Hide/Show Apps

Idempotent generated semigroups and their universal property.