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 cS. We show that U (S) is a principal additive Q-specialization semilattice with 0 and that the enriched Yoneda embedding yS: S -> U (S) exhibits U as a reflection U -| J: QSpecSL₀ (Q) -> QAddPrinSL₀ (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 JS and the ideal nucleus cS on P (S), and we show that their pointwise join NS: = JS v cS is a nucleus whose fixpoints form a full sub-Q-category I (S) ᵃdd of the Isbell completion I (S). We construct a natural comparison morphism ES: U (S) -> I (S) ᵃdd and show that I (S) ᵃdd is a retract of U (S) in QAddPrinSL₀ (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.