Characterizations of Morita equivalent inverse semigroups. (Q538080)

Let \(S\) be an inverse semigroup. A right \(S\)-set \(X\) is called `closed' if the map \(\mu\colon X\otimes S\to X\) given by \(\mu(x\otimes s)=xs\) is surjective and injective. The full subcategory (of all right \(S\)-sets and \(S\)-homomorphisms) of all closed right \(S\)-sets is denoted by \(S\)-Set. Two semigroups \(S\) and \(T\) are called `semigroup Morita equivalent' if the categories \(S\)-Set and \(T\)-Set are equivalent. It is proved that semigroup Morita equivalence is equivalent to the following three other definitions of Morita equivalence: 1) strong Morita equivalence, 2) topos Morita equivalence, 3) enlargement Morita equivalence. Defining an action of \(S\) on \(E(S)\) by \(e\cdot s=s^*es\), one can define `étale right \(S\)-set' consisting of \(X\) paired with an \(S\)-set map \(p\colon X\to E(S)\) such that \(x\cdot p(x)=x\). The authors show that the category of unitary actions of an inverse semigroup is monadic over the category of étale actions (that is, there exists a functor which is equivalent to certain forgetful functor).