DOMAIN THEORY AND MIRROR PROPERTIES IN INVERSE SEMIGROUPS
Paul Poncet · 2013
Inverse semigroups are a class of semigroups whose structure induces a compatible partial order. This partial order is examined so as to establish mirror properties between an inverse semigroup and the semilattice of its idempotent elements, such as continuity in the sense of domain theory.