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^op, 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.