Abstract:Just as complete lattices can be viewed as the completions of posets, quantales can also be treated as the completions of partially ordered semigroups. Motivated by the study on the well-known Frink completions of posets, it is natural to consider the “Frink” completions for the case of partially ordered semigroups. For this purpose, we firstly introduce the notion of precoherent quantale completions of partially ordered semigroups, and construct the concrete forms of three types of precoherent quantale completions of a partially ordered semigroup. Moreover, we obtain a sufficient and necessary condition of the Frink completion on a partially ordered semigroup being a precoherent quantale completion. Finally, we investigate the injectivity in the category $$\mathbf {APoSgr}_{\le }$$ of algebraic partially ordered semigroups and their submultiplicative directed-supremum-preserving maps, and show that the $$\mathscr {E}_{\le }$$-injective objects of algebraic partially ordered semigroups are precisely the precoherent quantales, here $$\mathscr {E}_{\le }$$ denote the class of morphisms $$h:A\longrightarrow B$$ that preserve the compact elements and satisfy that $$h(a_1)\cdots h(a_n)\le h(b)$$ always implies $$a_1\cdots a_n\le b$$.

Topological Semigroups and Their Prequantale Models

Semitopological Groups, Semiclosure Semigroups and Quantales

Order Topology Orthosummability in Quantum Logics

Right algebras in Sup and the topological representation of semi-unital and semi-integral quantales, revisited

Precoherent Quantale Completions of Partially Ordered Semigroups

A model theory of topology

Topological spaces related with topological quasigroups

Quotient of Topological Ternary Semigroup

Topological automorphism groups of compact quantum groups

On locally compact topological graph inverse semigroups

Continuity of operations in right semitopological groups

On non-topologizable semigroups

On semidirect products of quantale enriched monoids

Topological categories, quantaloids and Isbell adjunctions

Absolutely closed semigroups

Topological embeddings into transformation monoids

Some generalized metric properties of $n$-semitopological groups

Regular and Complete Spaces over Topological Quasigroups

Closed subsets of compact-like topological spaces

Refinement of Bratteli-Vershik models

Pseudocompact primitive topological inverse semigroups