Quantaloid-Enriched Specialization Semilattices and Universal Extensions

We fix a small quantaloid Q and introduce Q-enriched specialization semilattices with 0: Q-categories whose hom-objects encode a generalized specialization and whose fibres carry compatible join-semilattice structures with distinguished zeros. For each such S we construct, inside the presheaf Q-category P(S), a canonical universal extension U(S) as the full sub-Q-category of Q-ideals, defined by a fibrewise ideal nucleus c_S. We show that U(S) is a principal additive Q-specialization semilattice with 0 and that the enriched Yoneda embedding y_S : S -> U(S) exhibits U as a reflection U -| J : QSpecSL_0(Q) -> QAddPrinSL_0(Q), where J is the inclusion of principal additive objects. On the presheaf side we compare this construction with the quantaloid-enriched Isbell completion. We consider the MacNeille-Isbell nucleus J_S and the ideal nucleus c_S on P(S), and we show that their pointwise join N_S := J_S v c_S is a nucleus whose fixpoints form a full sub-Q-category I(S)^add of the Isbell completion I(S). We construct a natural comparison morphism E_S : U(S) -> I(S)^add and show that I(S)^add is a retract of U(S) in QAddPrinSL_0(Q). For suitable bases, including commutative quantales, this retraction is an isomorphism. In the Lawvere case Q=[0, infinity], we identify U(S) isometrically with the Isbell completion and hence with the tight span (injective hull) of a metric space, thereby endowing the tight span with a canonical principal additive semilattice structure. In the Boolean case Q=2 we recover Lipparini's universal extensions of specialization semilattices with 0, while frame-valued bases yield localic bundles of ideal completions.