The Ehresmann-Schein-Nambooripad (ESN) Theorem, stating that the category of inverse semigroups and morphisms is isomorphic to the category of inductive groupoids and inductive functors, is a powerful tool in the study of inverse semigroups. Armstrong and Lawson have successively extended the ESN Theorem to the classes of ample, weakly ample and weakly E-ample semigroups. A semigroup in any of ...