On injective hulls of \(S\)-posets (Q896231)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On injective hulls of \(S\)-posets |
scientific article |
Statements
On injective hulls of \(S\)-posets (English)
0 references
9 December 2015
0 references
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\).
0 references
\(S\)-poset
0 references
injectivity
0 references
injective hull
0 references
\(S\)-quantal
0 references
0 references