Presheaf-Based Universal Extensions of Quantale-Enriched Specialization Semilattices

Presheaf-Based Universal Extensions of Quantale-Enriched Specialization Semilattices Joaquim Reizi Higuchi November 29, 2025 Abstract We introduce the notion of a Q-specialization semilattice with 0, where Qis a fixed commutative unital quantale, and we construct a canonical universal extension S7−→ 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 [Sop, 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,∞] 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= Ω(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. Keywords: quantales; enriched categories; specialization semilattices; presheaves; universal constructions; Isbell completion; tight span; frames and locales; many-valued logics. MSC (2020): 18D20; 06F07; 54F05; 54E35; 03B50. 1 Introduction Specialization orders and semilattice structures arise naturally throughout general topology, lattice theory, and domain theory. Given a topological space X, the specialization preorder associated with its topology records which points lie in the closure of which singletons. When this preorder is compatible with a join-semilattice structure, one obtains specialization semilattices, which provide a convenient algebraic framework for studying closure operators, continuous lattices, and related order-theoretic phenomena. In particular, Lipparini introduced and studied specialization semilattices with 0 and their universal extensions, showing that every such structure admits a canonical reflection into a principal additive specialization semilattice, constructed via an ideal completion and equipped with a suitable closure operator. This construction clarifies how to “complete” a given specialization semilattice by freely adding principal generators while preserving the interaction between order and semilattice operations. In parallel, the theory of quantales and quantale-enriched categories has become a unifying language for a wide range of mathematical phenomena. Lawvere showed that generalized metric spaces can be viewed as categories enriched over a suitable quantale of weights, while framevalued and locale-theoretic approaches encode topological and logical structure in terms of complete lattices with a compatible monoidal operation. Quantale-enriched categories now form a standard toolkit in categorical topology, the semantics of non-classical logics, and the 1 study of weighted and probabilistic structures. These developments suggest that many classical constructions in topology and algebra admit natural quantale-enriched reformulations. Despite this, there has been surprisingly little work connecting these two lines of development. On the one hand, we have a well-understood class of universal extensions for classical specialization semilattices with 0, culminating in Lipparini’s reflection into principal additive objects. On the other hand, in the quantale-enriched world there exist powerful completion procedures such as the Isbell completion of a generalized metric space and, in the symmetric finite case, the tight span of a metric space, which can be understood as injective hulls in appropriate enriched settings. However, there is no general framework that simultaneously (i) treats specialization semilattices as quantale-enriched objects and (ii) provides a universal extension compatible with both the enriched hom-structure and the semilattice operations. In particular, there has been no quantale-enriched analogue of Lipparini’s universal extension, nor a systematic explanation of how metric completions such as the tight span fit into a broader specialization-based picture. The aim of this paper is to fill this gap by introducing a notion of Q-specialization semilattice for a fixed commutative unital quantale Q, and by constructing a canonical universal extension S7−→ U(S) in terms of presheaves and the enriched Yoneda embedding. Our approach is entirely categorical: we treat a Q-specialization semilattice as a Q-valued preorder carrying a compatible join-semilattice structure, and we use the presheaf category [Sop, Q] to build a universal completion that reflects into an appropriate subcategory of “principal additive” objects. In the Boolean case Q= 2 we recover Lipparini’s universal extension of specialization semilattices with 0; for the Lawvere quantale Q= [0,∞] we obtain the Isbell completion and, in the symmetric finite case, the tight span; for Q= Ω(X), the frame of opens of a space X, we obtain a kind of localic bundle of ideal completions varying continuously over X. A particularly transparent instance of our construction occurs for a two-point metric space. Let S={0, a}with distance d(0,0) = d(a, a) = 0 and d(0, a) = d(a, 0) = r > 0, regarded as a category enriched over the Lawvere quantale [0,∞]. We show that the universal extension U(S) can be identified, as a symmetric metric space, with the closed interval [0, r]: the Yoneda embedding sends 0 and ato the endpoints of this interval, while the universal object fills in all intermediate points at distance tfrom 0 and r−tfrom a. Thus our abstract construction reproduces, in this minimal setting, the familiar geometric picture of the tight span as a line segment. This example also serves as a guiding intuition for more general metric spaces, where U(S) can be seen as a specialization-aware reformulation of the Isbell completion. The main contributions of the paper can be summarised as follows. •We introduce the notion of a Q-specialization semilattice with 0, where Qis a fixed commutative unital quantale. This consists of a join-semilattice with 0 together with a Q-valued specialization relation, satisfying axioms that lift Lipparini’s conditions to the enriched level. •For each such Swe define a category of Q-ideals IdQ(S) as a full sub-Q-category of the presheaf category [Sop, Q], and we set U(S) := IdQ(S). The enriched Yoneda embedding yS:S→U(S) is shown to be a morphism of Qspecialization semilattices with 0. •We prove that U(S) carries a canonical structure of principal additive Q-specialization semilattice with 0, in the sense that the induced crisp specialization relation admits a 2 closure operator which is compatible with finite joins. This yields a full subcategory QAddPrinSL0of principal additive objects inside the category QSpecSL0of all Qspecialization semilattices with 0. •We show that the assignment S7→ U(S) extends to a functor U:QSpecSL0−→ QAddPrinSL0 which is left adjoint to the inclusion J:QAddPrinSL0,→QSpecSL0. Equivalently, (U(S), yS) is characterised up to isomorphism by a universal property: every morphism from Sto a principal additive Q-specialization semilattice with 0 factors uniquely through yS. •We specialise this abstract framework to three classes of quantales: 1. For Q= 2 we recover, and conceptually clarify, Lipparini’s universal extension of specialization semilattices with 0 via ideal completion and presheaves. 2. For the Lawvere quantale Q= [0,∞] we identify U(S) with the Isbell completion of a generalized metric space and, in the finite symmetric case, with the tight span. 3. For Q= Ω(X) we interpret U(S) as a sheaf-like bundle of local universal extensions over X, whose fibres are ideal completions of the crisp specialization semilattices determined by each point of X. These results provide a common language for a number of constructions that have so far been studied in different communities: universal extensions of specialization semilattices, injective hulls and tight spans of metric spaces, and localic completions in topology and logic. From the point of view of quantale-enriched category theory, the paper shows that the presheaf construction [Sop, Q] not only yields the free cocompletion of a Q-category, but also carries, for suitable S, a canonical Q-specialization semilattice structure which realises a reflective completion inside a semilattice-enriched world. Organisation of the paper. Section 2 recalls basic facts about quantales, Q-categories, and specialization semilattices with 0, including Lipparini’s universal extension in the Boolean case. In Section 3 we introduce Q-specialization semilattices with 0 and establish their basic properties. Section 4 develops the presheaf-based construction U(S) = IdQ(S) and shows that the enriched Yoneda embedding yS:S→U(S) is a morphism of Q-specialization semilattices. The universal property of Uis proved in Section 5, where we show that Uis left adjoint to the inclusion of principal additive objects. Finally, Section 6 is devoted to examples and applications, focusing on the Lawvere metric case, frame-valued specialisation, and the recovery of Lipparini’s classical universal extension. 2 Preliminaries In this section we briefly recall the basic notions from quantale theory and Q-enriched category theory that we will use throughout the paper, as well as the classical notion of specialization semilattice with 0 due to Lipparini. The reader familiar with quantales and enriched categories may wish to skim Sections 2.1 and 2.2 and focus on Section 2.3. 2.1 Commutative unital quantales We start by recalling the definition of a quantale. 3 Definition 2.1. A(unital) quantale is a structure Q= (Q, ≤,⊗, k) consisting of a complete lattice (Q, ≤), a binary operation ⊗:Q×Q→Q, and a distinguished element k∈Qsuch that: 1. (Q, ⊗, k) is a monoid: (a⊗b)⊗c=a⊗(b⊗c), k ⊗a=a=a⊗k; 2. ⊗distributes over arbitrary joins in each variable: a⊗_ i bi=_ i (a⊗bi),_ i ai⊗b=_ i (ai⊗b) for all families {ai}i,{bi}i⊆Q. If, in addition, ⊗is commutative, we speak of a commutative unital quantale. A quantale is called integral if the monoidal unit kis the top element of the lattice (Q, ≤). Typical examples to keep in mind include: •the two-element Boolean algebra Q=2={0<1}with ⊗=∧and k= 1; •the Lawvere quantale Q= [0,∞] with the reversed order a≤Qbiff a≥b(in the usual order), monoidal product a⊗b=a+b(truncated at ∞), and unit k= 0; •the frame of opens Ω(X) of a topological space X, with order given by inclusion, monoidal product ⊗=∩, and unit k=X. A crucial feature of a quantale is the existence of an internal hom (or residuation) making ⊗a left adjoint in each variable. Definition 2.2. Let Q= (Q, ≤,⊗, k) be a quantale and fix a∈Q. The right residual of ais the map a⇒(−): Q→Q defined by a⇒c:= _{b∈Q|a⊗b≤c}(c∈Q). By completeness of (Q, ≤), the join above always exists. The definition implies the fundamental Galois connection a⊗b≤c⇐⇒ b≤a⇒c(∀a, b, c ∈Q). When Qis commutative, the right and left residuals coincide and we will write simply a⇒c for the unique element satisfying this adjointness equation. The residual will play a central role in the Q-enriched homs of the presheaf categories [Sop, Q], where it appears in the formula [Sop, Q](φ, ψ) = ^ x∈Sφ(x)⇒ψ(x), see Section 4. Throughout the rest of the paper we assume, unless explicitly stated otherwise, that Qis a fixed commutative unital quantale. In several results (notably in Section 5) we will furthermore assume that Qis integral. 4 2.2 Q-categories and Q-preorders We next recall the basic notions of Q-enriched category theory in the sense of Kelly. Since in this paper we are mainly interested in enriched preorders, we restrict attention to small Q-categories whose hom-objects are elements of Q. Definition 2.3. AQ-category Sconsists of •a set of objects, denoted Ob(S); •for each pair of objects a, b, an element S(a, b)∈Q(the hom-value); such that, for all a, b, c ∈Ob(S), (enriched identities) k≤ S(a, a), (enriched composition) S(a, b)⊗ S(b, c)≤ S(a, c). In the case where every hom-set is a mere truth value (i.e. a single element of Q), a Qcategory is completely determined by a map d:S×S−→ Q, where S= Ob(S), satisfying k≤d(a, a), d(a, b)⊗d(b, c)≤d(a, c). Such data is often called a Q-valued preorder on S, and we will freely switch between the notations (S, d) and S= (S, d) when convenient. Definition 2.4. Let (S, dS) and (T, dT) be Q-categories of this form. A Q-functor F: (S, dS)→ (T, dT) is a function F:S→Tsuch that dS(a, b)≤dT(F(a), F(b)) (∀a, b ∈S). Thus a Q-functor does not decrease the hom-value between any two objects. When Q= 2 we recover preorders and monotone maps; when Q= [0,∞] with the Lawvere quantale structure we obtain generalised metric spaces and non-expansive maps. The one-object Q-category Qitself plays a distinguished role: its single object ∗has Q(∗,∗) = Qas hom-value, and a Q-functor Sop →Qis precisely what we will call a Q-presheaf on S. Unfolding the definition, such a functor is a map φ:S→Qsatisfying dS(b, x)⊗φ(x)≤φ(b) (∀b, x ∈S), which is exactly the form of the presheaf condition we will use in Section 4. 2.3 Lipparini’s specialization semilattices with 0 We now recall the classical notion of specialization semilattice with 0 due to Lipparini, which provides the starting point and guiding example for our quantale-enriched generalisation. Definition 2.5. Aspecialization semilattice with 0 is a quadruple (S, ∨,⊑,0) such that: 1. (S, ∨,0) is a join-semilattice with least element 0; 2. ⊑is a preorder on S(reflexive and transitive); 3. the following compatibility axioms hold for all a, a1, b ∈S: 5 (S1) the semilattice order is finer than ⊑: a≤b=⇒a⊑b; (S2) if a⊑band b⊑cthen a⊑c; (S3) if a⊑band a1⊑bthen a∨a1⊑b; (S4) if a⊑0 then a= 0. Here, as usual, the underlying order ≤on Sis defined by a≤bif and only if a∨b=b. Axiom (S1) says that this order is contained in the specialization preorder ⊑, (S3) expresses the stability of ⊑under finite joins, and (S4) is a separation condition for the least element. These structures arise naturally when one considers specialization orders coming from closure operators or from topological spaces equipped with compatible semilattice operations. Lipparini showed that every specialization semilattice with 0 admits a canonical universal extension into a principal additive specialization semilattice with 0, obtained via an ideal completion and equipped with a closure operator Ksatisfying K(a∨b) = K(a)∨K(b), K(0) = 0. This extension has a universal property expressing that any homomorphism from Sinto a principal additive specialization semilattice with 0 factors uniquely through the canonical embedding S→Se. In the enriched setting of the present paper, the case Q= 2 will recover this construction exactly (see Remark 3.2 and Section 6), while for more general quantales Qwe obtain a uniform generalisation via presheaves and the enriched Yoneda embedding. 3Q-specialization semilattices Throughout this section we fix a commutative unital integral quantale Q= (Q, ≤,⊗, k). We recall that a Q-preorder on a set Sis a map d:S×S→Qsuch that k≤d(a, a), d(a, b)⊗d(b, c)≤d(a, c) (∀a, b, c ∈S), and that we write a⊑db:⇐⇒ k≤d(a, b) for the associated crisp specialization relation. 3.1 Definition We begin by lifting Lipparini’s notion of specialization semilattice with 0 to the quantaleenriched setting. Definition 3.1. AQ-specialization semilattice with 0 is a quadruple (S, ∨, d, 0) consisting of •a join-semilattice (S, ∨) with a distinguished least element 0 ∈S; •aQ-preorder d:S×S→Q; such that the following conditions hold for all a, a1, b ∈S: (QS1) If a≤bin the underlying semilattice order (i.e. a∨b=b), then k≤d(a, b), equivalently a⊑db. 6 (QS2) The relation ⊑dis compatible with the semilattice order in the sense that a⊑db, b ⊑dc=⇒a⊑dc, which is automatic from transitivity of d. (QS3) The specialization degrees are submultiplicative with respect to finite joins: d(a, b)⊗d(a1, b)≤d(a∨a1, b). Condition (QS1) states that the enriched specialization extends the underlying semilattice order; (QS3) says that if two elements specialise to bto degree d(a, b) and d(a1, b), then their join specialises to bat least to the composite degree d(a, b)⊗d(a1, b). Since 0 is the least element, (QS1) implies in particular that 0≤b⇒k≤d(0, b) (∀b∈S), so 0 is always “maximally specialised” to every element. Remark 3.2 (Boolean case).When Q= 2 = {0<1}with ⊗=∧and k= 1, a Q-preorder dis the same as an ordinary preorder ⊑via d(a, b) = 1 iff a⊑b. In this case the axioms above say: •(QS1) a≤b⇒a⊑b; •(QS2) ⊑is transitive and reflexive; •(QS3) if a⊑band a1⊑bthen a∨a1⊑b. Thus (S, ∨, d, 0) is a 2-specialization semilattice with 0 if and only if (S, ∨,⊑,0) is a specialization semilattice with 0 in the sense of Lipparini. In particular, our notion is a direct quantale-enriched lift of the classical one. We shall often write simply Q-specialization semilattice when the presence of 0 is understood. 3.2 Morphisms and the category QSpecSL0 We next define the morphisms between Q-specialization semilattices. As usual in enriched category theory, we adopt a lax inequality condition on hom-values. Definition 3.3. Let (S, ∨, dS,0) and (T, ∨, dT,0) be Q-specialization semilattices with 0. A Q-specialization semilattice homomorphism (or Q-SSL homomorphism) is a function f:S→T such that: 1. fis a semilattice homomorphism preserving 0: f(a∨a1) = f(a)∨f(a1), f(0) = 0; 2. fis lax Q-monotone with respect to dSand dT: dS(a, b)≤dTf(a), f(b)(∀a, b ∈S).(3.1) Condition (3.1) is the usual enriched functor inequality: the degree to which aspecializes to bin Sis bounded above by the degree to which f(a) specializes to f(b) in T. 7 Remark 3.4 (Strict vs. lax morphisms).One could consider a stricter notion of morphism requiring equality dS(a, b) = dTf(a), f(b) for all a, b ∈S. This would amount to an isometric embedding of enriched hom-values. For our purposes, however, the lax condition (3.1) is more natural: it already implies monotonicity with respect to the crisp specialization relations, and it is precisely the condition that arises from viewing Sand Tas Q-categories and fas a Q-functor. The universal property of the presheaf-based extension U(S) is most naturally formulated in this lax setting. Proposition 3.5. If f:S→Tis a Q-SSL homomorphism, then fis monotone with respect to the crisp specialization relations: a⊑dSb=⇒f(a)⊑dTf(b). Proof. If a⊑dSbthen k≤dS(a, b). By (3.1) we have dS(a, b)≤dT(f(a), f(b)), hence k≤dTf(a), f(b), which means f(a)⊑dTf(b). We also single out morphisms that are “injective and order-reflecting” on the crisp level. Definition 3.6. AQ-SSL homomorphism f:S→Tis called an embedding if 1. fis injective on the underlying sets; 2. freflects crisp specialization: f(a)⊑dTf(b) =⇒a⊑dSb(∀a, b ∈S). In particular, embeddings are injective morphisms that realise Sas a (crisp) sub-specialization semilattice of T. The Yoneda embeddings yS:S→U(S) constructed later will be embeddings in this sense. Definition 3.7. We write QSpecSL0 for the category whose objects are Q-specialization semilattices with 0 and whose morphisms are Q-SSL homomorphisms. It is straightforward to verify that composition of Q-SSL homomorphisms is again a Q-SSL homomorphism and that identities are such, so that QSpecSL0is indeed a category. 3.3 Principal additive structure We now recall and adapt the notion of principal additive structure from the introduction. The key point is that “principal” and “additive” are determined entirely by the crisp specialization relation. Let (S, ∨, d, 0) be a Q-specialization semilattice with 0, and let ⊑dbe the associated crisp specialization relation. For each a∈Swe define the down-set Sa:= {b∈S|b⊑da}. 8 Definition 3.8. The Q-specialization semilattice (S, ∨, d, 0) is called principal if for every a∈S the set Sahas a greatest element with respect to the underlying order ≤. We denote this element by K(a) and call the map K:S→S, a 7→ K(a) the principal closure operator associated with d. A principal Q-specialization semilattice is called principal additive if Kis a closure operator on the poset (S, ≤) and preserves finite joins and 0: a≤K(a), K(K(a)) = K(a), a ≤b⇒K(a)≤K(b); K(a∨b) = K(a)∨K(b), K(0) = 0. Remark 3.9.By Remark 3.2, when Q= 2 these conditions reduce exactly to Lipparini’s definitions of principal and principal additive specialization semilattices with 0. In particular, the data of Kis uniquely determined by the crisp specialization relation ⊑d, and conversely, such a closure operator encodes the principal additive structure of S. Definition 3.10. We write QAddPrinSL0 for the full subcategory of QSpecSL0whose objects are principal additive Q-specialization semilattices with 0. The inclusion functor J:QAddPrinSL0,→QSpecSL0 will later be seen to admit a left adjoint U:QSpecSL0→QAddPrinSL0given by the presheaf-based universal extension constructed in Section 4. This completes the basic set-up for Q-specialization semilattices. In the next section we show how to construct, for each (S, ∨, d, 0), a canonical universal extension U(S) = IdQ(S) inside the presheaf category [Sop, Q] and how the enriched Yoneda embedding yS:S→U(S) realises Sas a substructure of a principal additive object in QAddPrinSL0. 4 Universal extensions via Q-presheaves Throughout this section we fix a commutative unital quantale Q= (Q, ≤,⊗, k), and we work with Q-specialization semilattices with 0 in the sense of Section 3. Our aim is to recast the universal extension of such a structure entirely in terms of Q-valued presheaves and the enriched Yoneda embedding into a presheaf category [Sop, Q]. This will provide the conceptual backbone for the examples in Section 6, where we specialise to Lawvere metrics and frame-valued specialisations. 4.1 Q-presheaves and Q-ideals Let (S, ∨, d, 0) be a Q-specialization semilattice with 0. Recall that d:S×S→Qis a Q-valued preorder, so that k≤d(a, a), d(a, b)⊗d(b, c)≤d(a, c) (∀a, b, c ∈S). We regard (S, d) as a small Q-category in the sense of enriched category theory. A Q-presheaf on Sis by definition a Q-functor φ:Sop −→ Q, where we view Qas a one-object Q-category with hom-object Qitself. Concretely, a Q-presheaf is a function φ:S→Q 9 The Lawvere quantale and enriched metrics Let [0,∞] be the extended non-negative reals. We consider the Lawvere quantale Qmet =[0,∞],≥,+,0, where the order is reversed (p≤Qmet qiff p≥qin the usual order), the monoidal product is ordinary addition, and the unit is 0. With this convention a Qmet-preorder d:S×S→[0,∞] satisfies 0≤Qmet d(x, x) and d(x, y) + d(y, z)≤Qmet d(x, z), which unfold respectively as d(x, x)=0, d(x, z)≤d(x, y) + d(y, z) for all x, y, z ∈S. Thus a Qmet-preorder is exactly a Lawvere metric (or generalized metric) on the set S. Throughout this subsection, we fix a Lawvere metric space (S, d). We tacitly equip S with a compatible semilattice structure (S, ∨,0) for which the additional conditions defining aQ-specialization semilattice are either automatic or irrelevant for the metric aspect of the construction. Concretely, in all examples below the interaction between ∨and dplays no restrictive role, so the universal extension is entirely controlled by the enriched metric structure. Q-presheaves as 1-Lipschitz potentials Let (S, d) be a Lawvere metric space. A Qmet-presheaf on Sis, by definition, a map φ:S−→ [0,∞] such that, for all b, x ∈S, d(b, x) + φ(x)≥φ(b).(6.1) Equivalently, φis a 1-Lipschitz potential in the sense that the “cost” at bcan never exceed the cost at xplus the distance from bto x. Following Definition 4.1, we restrict attention to those presheaves which satisfy an appropriate normalization and a mild compatibility with finite joins. In the metric examples we impose: •normalisation at the distinguished point 0 ∈S: φ(0) = 0; •join-compatibility (which, for the semilattice structures we consider, is automatically satisfied and will not impose extra constraints). We denote by IdQmet (S) the collection of all Qmet-ideals. As shown in Section 4, this set carries a natural Qmet-enriched structure induced from the presheaf category [Sop, Qmet], and it forms the universal extension U(S) := IdQmet (S) of S. The enriched hom between two Qmet-ideals φ, ψ ∈U(S) is given by U(S)(φ, ψ) = ^ x∈Sφ(x)⇒ψ(x), 16 where ⇒denotes the internal hom (residuation) of the quantale. In Qmet this residuation is a⇒c= max{0, c −a}, and the meet Vwith respect to the reversed order is the supremum in the usual order. Hence we obtain the explicit formula U(S)(φ, ψ) = sup x∈S max{0, ψ(x)−φ(x)}.(6.2) This is a Lawvere metric on U(S): it measures the maximal “upward deviation” of ψfrom φ. If desired, one may pass to a symmetric metric by defining dsym(φ, ψ) := max{U(S)(φ, ψ), U(S)(ψ, φ)}= sup x∈Sψ(x)−φ(x). The enriched Yoneda embedding The general construction of Section 4 specialises in the metric case as follows. The Yoneda embedding yS:S−→ U(S) is given by yS(a)(x) := d(x, a) (x, a ∈S). Each yS(a) is easily seen to satisfy the presheaf condition (6.1), by the triangle inequality d(b, x) + d(x, a)≥d(b, a), and the normalization yS(a)(0) = d(0, a) can be adjusted by shifting the metric or specifying 0 as a basepoint. The enriched Yoneda lemma (Proposition 4.2) yields, for all a∈Sand φ∈U(S), U(S)yS(a), φ=φ(a), so that ySis fully faithful as a Qmet-functor. In particular, the original metric on Sis recovered from the enriched homs in U(S) by d(x, a) = U(S)yS(x), yS(a)(x, a ∈S). A two-point example and the tight span We now compute U(S) explicitly for the simplest non-trivial metric space and observe that it reproduces the tight span in this case. Let S={0, a}with distance d(0,0) = d(a, a)=0, d(0, a) = d(a, 0) = r > 0. AQmet-ideal φ:S→[0,∞] is determined by the value t:= φ(a), since normalization forces φ(0) = 0. The presheaf condition (6.1) must hold for all pairs (b, x)∈S×S. A direct computation shows: •for (b, x) = (0,0) and (a, a) the inequalities are tautological; •for (b, x) = (0, a) we require d(0, a) + φ(a) = r+t≥φ(0) = 0, which is automatically true; 17 •for (b, x)=(a, 0) we require d(a, 0) + φ(0) = r+ 0 ≥φ(a) = t, hence t≤r. There are no further constraints, and the join-compatibility conditions are trivially satisfied. Thus the set of all Qmet-ideals is U(S)∼ ={φt|t∈[0, r]}, φt(0) = 0, φt(a) = t. Using the explicit formula (6.2), the enriched distance between φtand φsis U(S)(φt, φs) = supmax(0, φs(0) −φt(0)),max(0, φs(a)−φt(a))= max(0, s −t). The symmetric metric is therefore dsym(φt, φs) = |s−t|. In other words: Proposition 6.1. Let S={0, a}with d(0, a) = d(a, 0) = r > 0. Then, as a symmetric metric space, the universal extension U(S)is isometric to the closed interval [0, r]with its usual Euclidean metric. The Yoneda embedding sends 0and ato the endpoints 0and r, respectively. This is precisely the tight span (or injective hull) of the two-point metric space {0, a}: it “fills in” all intermediate points at distance tfrom 0 and r−tfrom a. The construction of U(S) thus recovers, in this simplest case, the standard geometric picture of the tight span as an interval. Relation to the Isbell completion and tight spans For a general Lawvere metric space (S, d), the presheaf category [Sop, Qmet] is well known to carry a canonical bicompletion structure, and the Isbell completion can be described in terms of suitable pairs of presheaves and copresheaves satisfying an adjointness condition. In our setting we only use the “right” part of this bicompletion, namely the Qmet-ideals φ:S→[0,∞] defined above. The following statement summarises the relationship with the classical constructions. Theorem 6.2 (Informal).Let (S, d)be a generalized metric space. Then the universal extension U(S) = IdQmet (S), equipped with the Lawvere metric (6.2) and the Yoneda embedding yS:S→ U(S), coincides with the “right” Isbell completion of (S, d). If dis symmetric and satisfies the usual separation axioms, then the metric completion obtained from U(S)is isometric to the tight span of (S, d). A fully detailed proof would require recalling the Isbell completion in its original form and matching the conditions on the presheaves; this can be done by exploiting the usual description of the tight span as a subset of RSdefined by the inequalities f(x) + f(y)≥d(x, y) (∀x, y ∈S), and observing that the potential functions φ∈U(S) satisfy analogous constraints. Since this theory is well developed in the literature, we simply point out that our construction of U(S) offers a semilatticeand specialization-aware rephrasing of the Isbell completion: it arises as a universal extension in the category of Qmet-specialization semilattices, rather than as an ad hoc metric hull. 18 6.2 Frame-valued specialization and localic bundles of completions We now briefly discuss the case where the base quantale is the frame of open sets of a topological space. Let Xbe a topological space and let Qfrm = Ω(X) denote its frame of open sets, equipped with inclusion as order, finite intersections as monoidal product, and Xas the unit. A Qfrm-valued relation d:S×S→Ω(X) may be interpreted as a family of specialization relations parametrised by points of X: for each x∈X, the set dx(a, b) := (1 if x∈d(a, b), 0 otherwise defines a crisp specialization relation on S. Thus a Qfrm-specialization semilattice Smay be viewed as a sort of “bundle of specialization semilattices” over X. AQfrm-presheaf φ:S→Ω(X) then assigns to each a∈San open set φ(a)⊆X, subject to the enriched presheaf condition d(b, x)∩φ(x)⊆φ(b) (∀b, x ∈S). In particular, for each x∈Xwe can consider the “fibre at x” φx(a) := (1 if x∈φ(a), 0 otherwise, which is a 2-valued ideal of the specialization semilattice (S, ⊑dx). The collection of all such φ forms the universal extension U(S) = IdQfrm (S), and it can be interpreted as a continuous field of ideal completions of the fibres {Sx}x∈X. More formally, one can show: Proposition 6.3 (Informal).Let (S, ∨, d, 0) be a Qfrm-specialization semilattice over a space X. For each x∈X, evaluation at xinduces a functor evx:U(S)−→ U(Sx), where Sxis the crisp specialization semilattice determined by dxand U(Sx)is its classical universal extension. The family {U(Sx)}x∈Xvaries continuously over Xin the sense that the assignment x7→ φxis encoded by the opens φ(a)⊆Xfor a∈S. From this perspective, U(S) may be regarded as a localic bundle of completions: each fibre over xis the classical universal extension of the fibre Sx, and the Qfrm-structure records how these completions vary continuously over the space X. 6.3 The Boolean case Q= 2 revisited Finally, we briefly summarise the Boolean case Q= 2, which has been analysed in detail earlier in the paper. The purpose of this subsection is mainly expository: it shows how the presheafbased description recovers, and conceptually clarifies, Lipparini’s universal extension. When Q= 2, a Q-specialization semilattice with 0 is just a specialization semilattice with 0 in Lipparini’s sense. A 2-valued Q-presheaf φ:S→ {0,1}satisfying the ideal conditions corresponds exactly to a classical ideal Iφ={a∈S|φ(a)=1} ⊆ S, 19 and the enriched hom U(S)(φ, ψ) takes value 1 precisely when Iφ⊆Iψ. Thus U(S) = Id2(S) can be identified with the poset of all ideals of S, ordered by inclusion and equipped with the usual ideal-join. The Yoneda embedding sends a∈Sto the principal ideal I(a) = {x∈S|x⊑a}, and the universal property of the presheaf-based U(S) coincides with Lipparini’s universal extension property. In particular, the adjunction U⊣J:SpecSL0⇄AddPrinSL0 constructed in the enriched setting reduces, when Q= 2, to the classical reflection of specialization semilattices with 0 into principal additive ones. This shows that the presheaf-based approach not only extends Lipparini’s construction to the quantale-enriched world, but also provides a clean conceptual explanation of why the classical universal extension exists and how it is related to a familiar categorical construction, namely the Yoneda embedding into a presheaf category. 7 Discussion and further directions The construction developed in this paper provides a uniform presheaf-based framework for universal extensions of Q-specialization semilattices with 0. In particular, it simultaneously clarifies the classical case Q= 2, the Lawvere metric case, and frame-valued specialization. In this final section we briefly outline several directions in which the present work might be extended. 7.1 Non-commutative quantales Throughout the paper we have assumed that the base quantale Q= (Q, ≤,⊗, k) is commutative. This hypothesis is used in several places, but most visibly in axiom (QS3) for Q-specialization semilattices: d(a, b)⊗d(a1, b)≤d(a∨a1, b), which is symmetric in aand a1only when ⊗is commutative. The commutativity assumption also underlies the concrete metric example, where ⊗is given by addition, and the frame-valued example, where ⊗is intersection of opens. A natural question is whether one can develop a satisfactory theory of non-commutative Q-specialization semilattices. At the level of raw data, one might keep (S, ∨, d, 0) as before with daQ-preorder, but replace (QS3) by one of the following asymmetric conditions: (QS3L)d(a, b)⊗d(a1, b)≤d(a∨a1, b), (QS3R)d(a1, b)⊗d(a, b)≤d(a∨a1, b), or even require that both inequalities hold. This suggests a distinction between left and right specialization behaviour, reminiscent of left and right ideals in non-commutative ring theory or left and right modules over a quantale. It is not clear at this stage which variant leads to the most robust theory, or how restrictive these asymmetric axioms are in interesting examples (e.g. quantales of endomorphisms or convolution quantales on non-abelian groups). On the presheaf side, a non-commutative base Qstill supports an enriched presheaf category [Sop, Q] and a Yoneda embedding, but the definition of Q-ideals would have to be adapted to 20 the chosen left/right convention. One could, for instance, distinguish between left Q-ideals and right Q-ideals, or between bi-ideals satisfying both left and right compatibility conditions. It would be interesting to identify hypotheses on a non-commutative quantale Qunder which a universal extension U(S) still exists and admits a satisfactory reflection property analogous to Theorem 5.3. We leave a systematic treatment of this genuinely non-commutative situation to future work. 7.2 Generalised algebraic geometry and hyperstructures Another potential direction is to connect the present framework with generalised algebraic geometry, in particular with hyperstructures and schemes over non-classical bases. In many variants of “non-additive” algebra (hyperrings, hyperfields, semirings, tropical and idempotent structures), the lattice of ideals or subobjects carries a natural quantale structure and often admits a specialization relation coming from a spectrum-like construction. In such settings one might take Sto be a semilattice of distinguished subobjects (e.g. prime hyperideals, congruences, or valuation-type data), and Qto be a quantale of “geometric” weights: open subsets in a spectrum, constructible sets, or localisation data. A Q-specialization semilattice (S, ∨, d, 0) would then encode both the combinatorial semilattice structure and a quantale-valued incidence relation between points of the underlying geometry. The universal extension U(S) can be thought of, in this context, as a kind of Q-spectrum or completed configuration space of such subobjects, obtained by systematically adding principal generators in a way that respects the quantale-valued specialization. More concretely, one may imagine applying this perspective to the hyperring-based approach to geometry, where the collection of hyperprime ideals carries a natural topology and order, or to idempotent semirings where tropical spectra arise. It would be natural to ask whether the presheaf-based universal extension U(S) admits a functorial interpretation in terms of schemes over a quantale-enriched base, and whether it interacts well with existing spectral and sheaftheoretic constructions in these contexts. 7.3 Logical semantics and quantale-valued logics Quantales also appear prominently in the semantics of non-classical logics. For instance, manyvalued logics, fuzzy logics, and substructural logics admit semantics based on residuated lattices and quantales, where elements of Qare interpreted as truth degrees or weights of evidence, and the monoidal product ⊗captures some form of conjunction or resource combination. From this viewpoint, a Q-specialization semilattice (S, ∨, d, 0) can be seen as encoding a set S of “semantic states” or “theories”, equipped with a join operation and a Q-valued specialization relation d(a, b) interpreted as the degree to which bis a consequence or refinement of a. The condition (QS3) expresses that if bfollows from ato degree d(a, b) and from a1to degree d(a1, b), then it follows from their joint information a∨a1to at least the combined degree d(a, b)⊗d(a1, b). In this semantic reading, the universal extension U(S) can be viewed as a kind of canonical completion of the space of theories: its elements are Q-ideals, i.e. Q-valued presheaves on S that behave well with respect to specialization and finite joins. The Yoneda embedding sends a theory ato the “principal” presheaf d(−, a) recording the degree to which each state specialises to a. The reflection property says that any interpretation of Sinto a semantically well-behaved target (a principal additive Q-specialization semilattice) factors uniquely through U(S). It would be interesting to explore this viewpoint in concrete logical settings, for instance: •for a given many-valued or fuzzy logic, interpret Sas a lattice of theories or filters and Q as the algebra of truth degrees, and study U(S) as a canonical completion of the semantic space; 21 •investigate whether U(S) can serve as a “universal Kripke frame” or “canonical model” in the sense of algebraic logic or coalgebraic modal logic, especially in settings where quantale-valued accessibility relations are natural. These questions lie at the interface between enriched category theory, algebraic logic, and semantics of non-classical logics, and we expect that the presheaf-based point of view may help to organise and unify several existing constructions. 7.4 Open problems We conclude with a short list of concrete open problems and directions suggested by the present work. Problem 7.1 (Stability and structure of the reflector).Study the finer categorical properties of the reflector U:QSpecSL0→QAddPrinSL0. For instance: •For which quantales Qdoes Upreserve finite products or other limits/colimits? •Characterise those Q-specialization semilattices Sfor which the unit yS:S→U(S)is not only universal but also dense in a suitable enriched sense (e.g. every element of U(S)is an enriched colimit of representables). Problem 7.2 (Non-integral and non-commutative bases).Relax the integrality and commutativity assumptions on Q. •In the non-integral case (where kis not top), can one formulate a useful version of (QS1) and (QS3) that still leads to a robust notion of Q-specialization semilattice and a wellbehaved universal extension? •In the non-commutative case, identify natural left/right variants of (QS3) and corresponding notions of Q-ideal for which a reflector Ucontinues to exist. Problem 7.3 (Metric properties and hyperconvexity).In the Lawvere metric case, U(S)is closely related to the Isbell completion and, in the symmetric finite case, to the tight span. •Provide an explicit characterisation of those metric spaces (S, d)for which U(S)is hyperconvex or injective in the usual metric sense. •Describe how additional structure on S(e.g. graph metrics, tree metrics, or metrics arising from normed spaces) is reflected in the geometry of U(S). Problem 7.4 (Sheaf-theoretic description in the frame case).For Q= Ω(X), we interpreted U(S)as a kind of localic bundle of completions over X. •Make this interpretation precise by describing U(S)as the global sections of an internal locale or sheaf of specialization semilattices over X. •Investigate how this bundle behaves under continuous maps X→Yand how it interacts with sheaf-theoretic operations such as pullback and pushforward. Problem 7.5 (Logical and algebraic applications).Develop the connection with quantale-valued logics and generalized algebraic geometry. •Given a specific logic with a quantale of truth values, relate U(S)to known canonical models or algebraic completions of the logic. •Explore whether U(S)admits a universal property at the level of hyperstructures or spectra (for instance, as a quantale-valued spectrum of an underlying algebraic object). We hope that these questions will stimulate further work at the intersection of quantale theory, enriched category theory, topology, logic, and generalized algebraic geometry. 22 References [1] G. M. Kelly, Basic Concepts of Enriched Category Theory, London Math. Soc. Lecture Note Series, Vol. 64, Cambridge Univ. Press, 1982. [2] F. W. Lawvere, Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano 43 (1973), 135–166. [3] P. Lipparini, (Placeholder) On specialization semilattices with 0 and their universal extensions, Journal Name, Volume (Year), pages. [4] J. R. Isbell, Six theorems about injective metric spaces, Comment. Math. Helv. 39 (1964), 65–76. [5] A. Dress, Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups, Adv. Math. 53 (1984), 321–402. 23