Constructing an ample monoid from a weak Loganathan pair (Q444677)

Let \(S\) be a monoid and let \(a{\mathcal L}^*b\) (\(a{\mathcal R}^*b\)) if and only if \(a{\mathcal L}b\) (\(a{\mathcal R}b\)) in some overmonoid of \(S\). A monoid \(S\) is called abundant if each \({\mathcal R}^*\)-class and each \({\mathcal L}^*\)-class contains an idempotent. If the idempotents commute then an abundant monoid is called \textit{adequate}. The (unique) idempotent in an \({\mathcal R}^*\)-class (\({\mathcal L}^*\)-class) of an adequate monoid is denoted by \(a^+\) (\(a^*\)). An adequate monoid \(S\) is called ample if \(ea=a(ea)^*\) and \(ae=(ae)^+a\) for all elements \(a\) and idempotents \(e\) of \(S\). Given an ample monoid \(S\), the author constructs two categories \(\mathcal D_A(S)\) and \(\mathcal D_B(S)\) both having the set of idempotents of \(S\) as the set of objects, and describes the monomorphisms, epimorphisms, isomorphisms and pushouts in these categories. For a category \(\mathcal D\) and for its subcategory \(\mathcal E\) such that obj \(\mathcal E\) = obj \(\mathcal D\), a Loganathan category pair and a weak Loganathan category pair -- both denoted by (\(\mathcal D\), \(\mathcal E\)) -- are defined. It turned out that for \(\mathcal E=\mathcal E(S)\) with the set of morphisms Mor \(\mathcal E\) = \(\{(e,f,f): e,f\in \mathcal E(S)\) and \(f\leq e\}\), the pairs \((\mathcal D_A(S), \mathcal E)\) and \((\mathcal D_B(S), \mathcal E)\) are both weak Loganathan category pairs. Moreover, for an arbitrary weak Loganathan category pair (\(\mathcal D\), \(\mathcal E\)), an ample monoid \(S[\mathcal D,\mathcal E]\) can be constructed such that an arbitrary ample monoid \(S\) is isomorphic to \(S[\mathcal D_A(S), \mathcal E]\).