An equivalence theorem for inverse semigroups (Q2367887)

The main result is a proof of the equivalence of the category \(S_ E\) of \(E\)-unitary covers over semilattices of a fixed inverse semigroup \(S\) and the category \(S_ F\) of embeddings of \(S\) into factorizable semigroups. The category \(S_ E\) has as objects the surjective idempotent-separating homomorphisms \(\theta: P\to S\), where \(P\) is an \(E\)-unitary inverse semigroup over a semilattice, meaning that in its corresponding McAlister triple \((G,X,Y)\), \(X\) is a meet semilattice. If \(\theta: P\to S\), \(\theta': P'\to S\) are two objects, then a morphism from \(\theta\) to \(\theta'\) is a homomorphism \(\psi: P\to P'\), such that \(\theta = \theta'\psi\). The category \(S_ F\) has as objects embeddings \(i:S\to F\), where \(F\) is a factorizable inverse monoid, (meaning that, for each \(s\) in \(F\), there exists \(g\) in \(U=U(F)\), the group of units of \(F\), such that \(s\leq g\)), and \(F\setminus U\) (an inverse subsemigroup of \(F\)) is an enlargement of \(i(S)\), meaning that, (a) \(i(S)\) is an order ideal of \(F\setminus U\), (b) if \(x\in F\setminus U\), and \(x^{-1} \in i(S)\), then \(x\in i(S)\) and, (c) for each \(e\in E(F\setminus U)\) there exists \(f\in E(i(S))\) such that \(e{\mathcal D}f\). If \(i:S\to F\) and \(j:S\to L\) are two objects, then a morphism \(\delta: i\to j\) is a prehomomorphism \(\delta: F\to L\) (meaning that \(\delta(xy) \leq \delta(x)\delta(y)\), and \(\delta(x^{-1}) = \delta(x)^{-1}\) for all \(x,y \in F\)) such that: (i) \(\delta i = j\), (ii) \(\delta\) maps the identity of \(F\) to the identity of \(L\) and, (iii) \(\delta\) maps \(F\setminus U(F)\) into \(L\setminus U(L)\).