Presheaf-Based Universal Extensions of Quantale-Enriched Specialization Semilattices

We introduce the notion of a Q-specialization semilattice with 0, where Q is a fixed commutative unital quantale, and we construct a canonical universal extension U (S) in terms of Q-presheaves and the enriched Yoneda embedding. The universal object U (S) is described as a full sub-Q-category of the presheaf category Sᵒp, Q, consisting of suitable Q-ideals, and it yields a reflection of the category of Q-specialization semilattices with 0 into the full subcategory of principal additive ones. In the classical case Q=2 we recover, and conceptually clarify, Lipparini's universal extension of specialization semilattices with 0. For the Lawvere quantale Q=0, infinity our construction agrees with the Isbell completion of a generalized metric space, and thus with the tight span of a finite metric space, while for Q=Omega (X) the frame of opens of a topological space X, we obtain a sheaf-like bundle of local universal extensions over X. Several examples illustrate how the presheaf description unifies these apparently different constructions and suggests further applications to quantale-valued logics and generalized algebraic structures.