On injective hulls of \(S\)-posets (Q896231)

The authors describe injectives in the category of \(S\)-posets with \(S\)-submultiplicative morphisms and construct injective hulls of \(S\)-posets with respect to a specific class \({\mathcal E}_{\leq}\) of morphisms. The main theorem reads as follows: For every \(S\)-poset \(A_S\), the quantal \({\mathcal Q}(A)_S\) is the \({\mathcal E}_{\leq}\)-injective hull of \(A_S\) in the category \(\mathrm{Pos}{\leq}_S\). A right \(S\)-poset \(A_S\) is called a right \(S\)-quantal if the poset \(A\) is a complete lattice and \((\bigvee M)s=\bigvee\{ms\mid m\in M\}\) for each subset \(M\) of \(A\) and each \(s\in S\). \({\mathcal E}_{\leq}\) is the class of morphisms \(e:A_S \longrightarrow B_S\) in the category \(\mathrm{Pos}{\leq}_S\) satisfying: \(e(a)s \leq e(a')\) implies \(as\leq a'\) for all \(a,a'\in A\), \(s\in S\).