Equivalences between \(\mathcal D\)-categories of inverse monoids (Q1806055)

For an arbitrary monoid \(S\) the Leech category \({\mathcal D}(S)\) is defined as one having \(S\) as the set of objects and triples \((u,x,v)\colon x\to uxv\) as morphisms, where \((u,x,v)\) and \((u',x,v')\) are identified if \(uxv=u'xv=uxv'=u'xv'\). The authors prove that for an inverse monoid \(S\), the following conditions are equivalent: (1) the categories \({\mathcal D}(S)\) and \({\mathcal D}(T)\) are isomorphic; (2) the categories \({\mathcal D}(S)\) and \({\mathcal D}(T)\) are equivalent; (3) there exists an injective semigroup homomorphism \(\psi\colon S\to T\) which induces the equivalence of \({\mathcal D}(S)\) and \({\mathcal D}(T)\); (4) There exists an idempotent \(e\in J_1^T\) such that \(S\) and \(eTe\) are isomorphic. Some counterexamples to the Leech conjecture (that for inverse monoids, \(S\cong T\) if and only if \({\mathcal D}(S)\cong {\mathcal D}(T)\)) are presented.