The MacNeille completions for residuated \(S\)-posets (Q2239394)

\par Given a category \textbf{A} and a class \(\mathcal{M}\) of morphisms of \textbf{A}, an \textbf{A}-object \(C\) is called \textit{\(\mathcal{M}\)-injective} provided that for every morphism \(m:A\rightarrow B\) in \(\mathcal{M}\) and every \textbf{A}-morphism \(f:A\rightarrow C\), there exists an \textbf{A}-morphism \(g:B\rightarrow C\) such that \(f = g\circ m\). A morphism \(m:A\rightarrow B\) in \(\mathcal{M}\) is called \textit{\(\mathcal{M}\)-essential} provided that an \textbf{A}-morphism \(f:B\rightarrow C\) belongs to \(\mathcal{M}\) whenever \(f\circ m\) does. An \textit{\(\mathcal{M}\)-injective hull} of an \textbf{A}-object \(A\) is a pair \((m,B)\) consisting of an \(\mathcal{M}\)-injective object \(B\) and an \(\mathcal{M}\)-essential morphism \(m:A\rightarrow B\). For example, if \textbf{A} is the category \textbf{Pos} of partially ordered sets (posets) and order-preserving maps, and \(\mathcal{M}\) is the class of order embeddings, then every poset has an \(\mathcal{M}\)-injective hull, i.e., its MacNeille completion (completion by cuts) (see, e.g.,~[\textit{J. Adámek} et al., Repr. Theory Appl. Categ. 2006, No. 17, 1--507 (2006; Zbl 1113.18001)] for details). \par Following the ideas of~[\textit{J. Lambek} et al., Theory Appl. Categ. 26, 338--348 (2012; Zbl 1259.06019)] (which described injective hulls in a specific category of partially ordered monoids as unital quantales) and~[\textit{M. Erné} and \textit{J. Z. Reichman}, Semigroup Forum 34, 253--285 (1987; Zbl 0616.06013)] (which described certain completions of partially ordered semigroups (posemigroups)), the present authors continue their study on injective constructions for \(S\)-semigroups (posemigroups equipped with an action of a posemigroup \(S\)) of [ Fuzzy Sets Syst. 373, 78--93 (2019; Zbl 1423.06054)] and describe injective hulls in a specific category of residuated \(S\)-posets (residuated posets equipped with an action of a posemigroup \(S\), where the action itself is residuated) over a quantale \(S\) as their MacNeille completions. It is also shown that for a commutative quantale \(S\), these MacNeille completions are \(S\)-algebras in the sense of, e.g.,~[\textit{B. Zhao} et al., Soft Comput. 21, No. 10, 2561--2574 (2017; Zbl 1386.06022)]. \par The paper is well written, provides most of its required preliminaries (the omitted concepts can be easily found with the help of the carefully chosen references), and will be of interest to all those researchers who study injective objects and hulls in various categories of ordered algebraic structures.