Projectivity, continuity and adjointness: quantales, \(Q\)-posets and \(Q\)-modules (Q2826243)

In this paper, projective modules over a quantale are characterized by distributivity, continuity, and adjointness conditions. It firstly generalizes the Joyal-Tierney characterization of projective/flat \(Q\)-modules [\textit{A. Joyal} and \textit{M. Tierney}, Mem. Am. Math. Soc. 309, 71 p. (1984; Zbl 0541.18002)] to the case of \(Q\) being not necessarily commutative. Then, the category of left \(Q\)-posets \(X\) with their free left \(Q\)-modules \(DQ(X)\) is introduced. The \(Q\)-poset therein can be considered as a many-valued extension of the classical posets. For what follows, constructively completely distributive \(Q\)-modules are characterized by the total continuity, which has a strong background in lattice theory. Then, the author shows that a morphism \(Q/A\) of commutative quantales is coexponentiable if and only if the corresponding \(Q\)-module is projective.