A class of join-completions of partially ordered semigroups (Q6042629)

In this paper, the authors propose a general kind of join dense-completion of a partially ordered semigroup than a quantale completion, which is called a join-completion, and prove that the join-completions of a partially ordered semigroup \(S\) up to isomorphism are completely determined by weakly consistent nuclei on the power-set \(\mathcal{P}(S)\). Then they provide the largest join-completion and show that the least join-completion of ordered semigroups does not exist in general, and provide the concrete form of the least join-completion of ordered semigroups in special cases. Finally, the universal property of the join-completions of a partially ordered semigroup is also investigated. The contents of the paper are arranged as follows. Section 2 recalls some basic notions and results. In Sect. 3, they provide the join-completions of a partially ordered semigroup and give the relationships between the join-completions and weakly consistent nuclei. Then they study the least and the largest join-completions of partially ordered semigroups in Section 4, and the universal property of the join-completions is investigated in Section 5.