Quantaloid-Enriched Specialization Semilattices and Universal Extensions

Quantaloid-Enriched Specialization Semilattices and Universal Extensions Joaquim Reizi Higuchi November 29, 2025 Abstract We fix a small quantaloid Qand 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 Swe construct, inside the presheaf Q-category P(S), a canonical universal extension S7−→ 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 Uas a reflection U⊣J:QSpecSL0(Q)⇄QAddPrinSL0(Q), where Jis 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 JSand the ideal nucleus cSon P(S), and we show that their pointwise join NS:= JS∨cS 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 ES:U(S)→I(S)add and show that I(S)add is a retract of U(S) in QAddPrinSL0(Q). For suitable bases, including commutative quantales, this retraction is an isomorphism. In the Lawvere case Q= [0,∞] 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. Keywords: quantaloids; 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 1 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 equipped with a suitable closure operator; see [5]. In parallel, the theory of quantales and quantale-enriched categories has developed into a unifying language for a wide range of mathematical phenomena; see [3, 4]. Lawvere observed that generalized metric spaces can be viewed as categories enriched over a suitable quantale of weights, while frames and locales can be seen as quantale-based encodings of topological or logical structure. In this enriched setting, presheaf constructions and universal completions such as the Isbell (MacNeille) completion play a central role: they provide canonical ways to complete a given Q-category by freely adding weighted colimits and limits. In the Lawvere case Q= [0,∞], the Isbell completion of a generalized metric space coincides with the injective hull or tight span of the underlying metric space [2, 1]; in the Boolean case Q= 2 it recovers the MacNeille completion of a preorder. The aim of this paper is to provide a quantaloid-enriched framework that integrates Lipparini’s algebraic theory of specialization semilattices with the topological and metric viewpoints of enriched category theory over a general base Q. On the one hand, existing treatments of universal extensions are essentially “crisp”: they are formulated for preorders and Boolean-valued specialization relations. On the other hand, standard enriched completions such as the Isbell completion are “purely enriched”: they do not take into account additional semilattice structure on the fibres and therefore do not provide a direct counterpart to Lipparini’s construction. We fix a small quantaloid Qand introduce a notion of Q-specialization semilattice with 0, which treats a specialization semilattice as a Q-enriched category whose fibres carry compatible join-semilattice structures. For each such Swe construct a canonical universal extension S7−→ U(S) using presheaves and the enriched Yoneda embedding, and we show that this extension can be identified with a semilattice-compatible core inside the Isbell completion of the underlying Q-category. In the Boolean case Q= 2 this recovers Lipparini’s universal extension; in the Lawvere metric case Q= [0,∞] it recovers the tight span, but now equipped with a natural principal additive semilattice structure. Main contributions. The main contributions of the paper can be summarised as follows. •We introduce the notion of a Q-specialization semilattice with 0 for a small quantaloid Q, together with principal additive objects and appropriate morphisms. This yields categories QSpecSL0(Q) and QAddPrinSL0(Q) which extend Lipparini’s setting from Q= 2 to an arbitrary base. •For each such Swe define U(S) as the full sub-Q-category of P(S) consisting of Q-ideals, and we show that U(S) carries a canonical structure of principal additive Q-specialization semilattice with 0. The enriched Yoneda embedding yS:S→U(S) is a morphism in QSpecSL0(Q). •We prove that the assignment S7→ U(S) extends to a functor U:QSpecSL0(Q)−→ QAddPrinSL0(Q) which is left adjoint to the inclusion J:QAddPrinSL0(Q),→QSpecSL0(Q) (Theorem 6.2). •We construct a join nucleus NS=JS∨cSon the presheaf category P(S), where JSis the MacNeille–Isbell nucleus and cSis the ideal nucleus. Its fixpoints form a full subQ-category I(S)add ⊆I(S) that we identify as the semilattice-compatible core of the 2 Isbell completion. We show that there is a canonical retraction ES:U(S)→I(S)add in QAddPrinSL0(Q), and for suitable bases ESis an isomorphism (Theorem 7.7). •We specialise this framework to three classes of bases: (a) For Q= 2 we recover Lipparini’s universal extension of specialization semilattices with 0 via ideal completion. (b) For the Lawvere quantale Q= [0,∞] we identify U(S) with the Isbell completion and, in the finite symmetric case, with the tight span, equipped with a canonical principal additive specialization semilattice structure. (c) For Q= Ω(X), the frame of opens of a topological space X, we interpret U(S) as a sheaf-like bundle of local universal extensions over X. Organisation of the paper. Section 2 recalls basic facts about quantaloids, Q-categories, presheaves and nuclei, as well as classical specialization semilattices. In Section 3 we introduce Q-specialization semilattices with 0, principal additive objects, and the categories QSpecSL0(Q) and QAddPrinSL0(Q). Section 4 develops the presheaf-based construction U(S) and shows that the enriched Yoneda embedding yS:S→U(S) is a morphism of Qspecialization semilattices. The universal property of Uis proved in Section 6, where we show that Uis left adjoint to the inclusion of principal additive objects. Section 7 compares U(S) with the Isbell completion and proves Theorem 7.7. Section 8 is devoted to examples and applications, focusing on the Lawvere metric case, tight spans with semilattice structure, frame-valued specialization, and the recovery of Lipparini’s classical universal extension. We conclude in Section 9 with a brief discussion of non-commutative bases, connections to quantale-valued logics, and several directions for future work. 2 Preliminaries We briefly recall the basic notions from quantaloid theory and Q-enriched category theory that we will use throughout the paper, as well as the classical notion of specialization semilattice with 0. 2.1 Quantaloids and distributors Definition 2.1. Aquantaloid is a category Qenriched in complete lattices: for each pair of objects A, B ∈Ob(Q) the hom-set Q(A, B) is a complete lattice, and composition Q(B, C)× Q(A, B)−→ Q(A, C) preserves arbitrary joins in each variable. Morphisms in Qare called Q-arrows. Typical examples include: •Any unital quantale Qviewed as a one-object quantaloid. •The quantaloid Rel of sets and binary relations. •For a locale (frame) Ω, the quantaloid of Ω-valued relations. Definition 2.2. For Q-categories S,T, a Q-distributor (or module, or profunctor) Φ: S↛T assigns to each pair of objects s∈Ob(S), t∈Ob(T) an arrow Φ(t, s)∈ Q(p(s), p(t)), satisfying suitable action inequalities with respect to the hom-structure. We write Q-Dist(S,T) for the complete lattice of distributors from Sto T. We refer to [3] for details. In this paper we only use the special case of distributors S ↛ ∗I, where ∗Iis a one-object Q-category (a “type” or fibre) and such distributors correspond to presheaves. 3 2.2 Q-categories and presheaves Definition 2.3. AQ-category Sconsists of •a class of objects Ob(S); •an extent function |−|: Ob(S)→Ob(Q); •for each pair x, y ∈Ob(S) an arrow S(x, y)∈ Q(|x|,|y|) such that identities and composition are respected: 1|x|≤S(x, x),S(y, z)◦S(x, y)≤S(x, z). AQ-functor F:S→Tis a function on objects preserving extents and satisfying S(x, y)≤ T(Fx, Fy). Definition 2.4. Let Sbe a Q-category. A Q-presheaf on Sof type I∈Ob(Q) is a distributor φ:S ↛ ∗I. We write P(S) for the Q-category of presheaves on S, whose objects are such distributors and whose homs are given by right liftings in Q-Dist. Concretely, in the one-object case of a quantale Q, a presheaf on a Q-category (S, d) is simply a function φ:S→Qsatisfying d(b, x)⊗φ(x)≤φ(b), and the enriched hom is P(S)(φ, ψ) = ^ x∈S (φ(x)⇒ψ(x)). The presheaf construction is the free cocompletion of a Q-category in the sense of enriched category theory; see [3]. 2.3 Nuclei on presheaf categories Definition 2.5. Let Cbe a Q-category. A nucleus on Cis a Q-functor j:C→Cthat is inflationary, idempotent, and monotone on homs: 1C≤j, j ◦j=j, C(x, y)≤C(j(x), j(y)). The full sub-Q-category Fix(j)⊆Cspanned by the fixed points j(x) = xis called the fixpoint category of j. The MacNeille–Isbell nucleus on P(S) arises from the Isbell adjunction between presheaves and copresheaves; its fixpoints form the Isbell completion I(S). 2.4 Classical specialization semilattices We recall Lipparini’s notion in the Boolean case; see [5]. Definition 2.6. 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; 3. the following compatibility axioms hold: 4 (S1) if a≤bin the semilattice order, then a⊑b; (S2) if a⊑band a1⊑b, then a∨a1⊑b; (S3) if a⊑0 then a= 0. Lipparini constructed for each such Sa canonical universal extension into a principal additive specialization semilattice, via an ideal completion endowed with a suitable closure operator. Our construction recovers this result when Q= 2. 3Q-specialization semilattices We now generalise the classical notion to the enriched setting over a small quantaloid Q. 3.1 Definition and basic properties Definition 3.1. AQ-specialization semilattice with 0 consists of a Q-category Stogether with, for each A∈Ob(Q), a join-semilattice (SA,∨A,0A) on the fibre SA:= {x∈Ob(S)| |x|=A}, such that the following axioms hold. (QS1) (Fibrewise order vs. specialization) If x, y ∈SAand x≤Ayin the semilattice order, then 1A≤S(x, y). (QS2) (Join-subadditivity) For x, x′, y ∈SA, S(x, y)∧S(x′, y)≤S(x∨Ax′, y) in the lattice Q(A, A). (QS3) (Separation at 0A) If 1A≤S(x, 0A) then x= 0A. Amorphism of Q-specialization semilattices is a Q-functor preserving fibres, finite joins, and the least elements 0A. We denote by QSpecSL0(Q) the category of Q-specialization semilattices with 0 and their morphisms. 3.2 Principal and principal additive objects Definition 3.2. Let Sbe a Q-specialization semilattice with 0. For each fibre SAdefine the crisp specialization x⊑Ay:⇐⇒ 1A≤S(x, y). We say that Sis principal if for every Aand every y∈SA, the set SA,y := {x∈SA|x⊑Ay} has a greatest element KA(y) in the semilattice order. The family K= (KA)Ais called the principal closure of S. A principal Sis called principal additive if each KAis a closure operator preserving joins and 0A: x≤AKA(x), KA(KA(x)) = KA(x), x ≤Ay⇒KA(x)≤AKA(y), KA(x∨Ay) = KA(x)∨AKA(y), KA(0A) = 0A. Definition 3.3. We write QAddPrinSL0(Q) for the full subcategory of QSpecSL0(Q) consisting of principal additive Q-specialization semilattices with 0. The inclusion functor is denoted J:QAddPrinSL0(Q),→QSpecSL0(Q). 5 4 Presheaves, Q-ideals, and the universal extension Let Sbe a Q-specialization semilattice with 0. In this section we construct the universal extension U(S) as a full sub-Q-category of the presheaf category P(S). 4.1 Presheaf infrastructure We view a presheaf φon Sas a distributor φ:S ↛ ∗Ifor some I, and we write φ(x)∈ Q(|x|, I) for its components. Composition in Q-Dist gives a Q-category structure on P(S) with homs given by right liftings. The enriched Yoneda embedding yS:S−→ P(S) sends an object xto the representable presheaf yS(x) = S(−, x). The enriched Yoneda lemma holds in this setting (see [3]). 4.2 Q-ideals and the ideal nucleus Definition 4.1. AQ-ideal of Sis a presheaf Φ: S ↛ ∗Isuch that, for each fibre A, (I1) (normalisation at 0A) 1A≤Φ(0A)∈ Q(A, I); (I2) (join-subadditivity) for all x, x′∈SA, Φ(x)∧Φ(x′)≤Φ(x∨Ax′) in Q(A, I). We write IdQ(S) for the class of all Q-ideals of S. Lemma 4.2. The class IdQ(S)is closed under arbitrary fibrewise meets in P(S). In particular, there is a left adjoint cS:P(S)−→ P(S) to the inclusion IdQ(S),→P(S), given by cS(Ψ) := ^{Φ∈IdQ(S)|Ψ≤Φ}. Moreover cSis a nucleus on P(S)and Fix(cS) = IdQ(S). Proof. Closure under meets is checked fibrewise: the normalisation and subadditivity inequalities are preserved by arbitrary meets in the complete lattices Q(A, I). The existence of cSas left adjoint to the inclusion, and its nucleus properties, are standard facts about closure systems in complete lattices. 4.3 Definition of U(S) Definition 4.3. The universal extension of a Q-specialization semilattice Sis the full sub-Qcategory U(S) := IdQ(S)⊆P(S) spanned by the Q-ideals. The enriched homs are those of P(S) and the fibrewise join-semilattice structure is induced pointwise. Lemma 4.4. For each x∈Ob(S), the representable presheaf yS(x)is a Q-ideal. Hence the enriched Yoneda embedding ySfactors through U(S)as a morphism in QSpecSL0(Q). 6 Proof. The presheaf condition for yS(x) is just the enriched composition inequality in S. Normalisation at 0Afollows from (QS1) and the fact that 0A≤Ayfor all y∈SA. The join-subadditivity condition (I2) is a restatement of (QS2) for the hom-objects into x. Preservation of ∨Aand 0A by ySfollows from enriched functoriality. 5 Principal additivity of U(S) We now show that U(S) is principal additive and therefore belongs to QAddPrinSL0(Q). Proposition 5.1. For each Q-specialization semilattice S, the Q-specialization semilattice U(S) is principal additive. In fact, its principal closure is the identity. Proof. Fix a fibre Iand write UI=U(S)Ifor the set of Q-ideals of type I. The crisp specialization on UIis given by Φ⊑Ψ :⇐⇒ 1I≤P(S)(Φ,Ψ), which in the one-object case reduces to pointwise comparison. For Φ ∈UIthe down-set UI,Φ={Ψ∈UI|Ψ⊑Φ}clearly has a greatest element, namely Φ itself. Thus U(S) is principal with KI(Φ) = Φ. The closure axioms and preservation of joins and 0Iare immediate since KIis the identity. Corollary 5.2. The assignment S7→ U(S)takes values in QAddPrinSL0(Q). 6 The universal property In this section we show that Uis left adjoint to the inclusion J:QAddPrinSL0(Q),→ QSpecSL0(Q). 6.1 Functoriality of U Definition 6.1. Let h:S→Tbe a morphism in QSpecSL0(Q). We define U(h): U(S)−→ U(T) as the composite U(S)iS −→ P(S)LanyS(yT◦h) −−−−−−−→ P(T)cT −→ U(T), where iSis the inclusion and LanyS(yT◦h) is the left Kan extension along yS. Standard properties of enriched Kan extensions imply that U(h) is a Q-functor, and fibrewise semilattice structure is preserved because hand cTrespect finite joins and zeros. Identity and composition for Ufollow from the universal properties of presheaf categories and cS. 6.2 The reflection theorem Theorem 6.2 (Reflection theorem).The functor U:QSpecSL0(Q)−→ QAddPrinSL0(Q) is left adjoint to the inclusion J:QAddPrinSL0(Q),→QSpecSL0(Q). The unit at Sis the enriched Yoneda embedding yS:S→J(U(S)). 7 Proof. Let S∈QSpecSL0(Q) and T∈QAddPrinSL0(Q). We must establish a natural bijection QAddPrinSL0(Q)(U(S),T)∼ =QSpecSL0(Q)(S, J(T)), sending ¯ f7→ ¯ f◦yS. Given f:S→J(T), consider the composite yT◦f:S→P(T) and its left Kan extension b f:= LanyS(yT◦f): P(S)→P(T). By the universal property of presheaves, b f◦yS∼ =yT◦fand b fis initial among such extensions. For each ideal Φ ∈U(S) we can regard b f(Φ) as a weighted colimit of fwith weight Φ. Since Tis principal additive, there is a principal closure operator KTon each fibre that sends this formal colimit to a principal generator. We define ¯ f(Φ) := KTcolimΦ(f), interpreting colimΦ(f) via the fully faithful Yoneda embedding of Tinto P(T). This construction yields a morphism ¯ f:U(S)→Tin QAddPrinSL0(Q), and one checks that ¯ f◦yS=fand that ¯ fis uniquely determined by this property, using once more the universal properties of Kan extensions and principal closures. Naturality in both Sand Tis standard. Thus U⊣Jas required. 7 Comparison with the Isbell completion We now compare the universal extension U(S) with the Isbell completion I(S) of the underlying Q-category. 7.1 Isbell adjunction and MacNeille nucleus The enriched hom of Sinduces an Isbell adjunction ⇓⊣⇑:P(S)⇄P ∗(S), where P ∗(S) is the copresheaf Q-category. The composite JS:=⇑⇓ is a MacNeille–Isbell nucleus on P(S). Definition 7.1. The Isbell completion I(S) is the fixpoint sub-Q-category I(S) := Fix(JS)⊆P(S). 7.2 Join nucleus and semilattice-compatible core Definition 7.2. The join nucleus on P(S) is NS:= JS∨cS, the pointwise join of the MacNeille–Isbell nucleus and the ideal nucleus. Lemma 7.3. NSis a nucleus on P(S), and Fix(NS) = Fix(JS)∩Fix(cS) = I(S)∩U(S). Proof. The set of nuclei on a complete lattice is closed under pointwise joins, and the fixpoints of j∨care the common fixpoints of jand c. Applying this fibrewise to P(S) yields the claim. 8 Definition 7.4. The semilattice-compatible core of the Isbell completion is the full sub-Qcategory I(S)add := Fix(NS) = I(S)∩U(S). Since I(S)add is a full subcategory of U(S), it inherits the principal additive specialization semilattice structure from U(S) (compare Proposition 5.1). 7.3 The comparison morphism Definition 7.5. The comparison morphism ES:U(S)−→ I(S)add is defined by ES(Φ) := NS(Φ) for Φ ∈U(S). Lemma 7.6. ESis a morphism in QAddPrinSL0(Q), and there is a retraction I(S)add iS −→ U(S)ES −→ I(S)add with ES◦iS= Id. Proof. Since NSis a nucleus on P(S), its restriction to U(S) preserves the Q-category structure and the semilattice operations. Fixed points of NSare precisely the objects of I(S)add, so ES lands there. If Ψ ∈I(S)add, then NS(Ψ) = Ψ, hence ES◦iS= Id. Theorem 7.7 (Comparison with Isbell completion).Let Sbe a Q-specialization semilattice with 0. Then: (a) I(S)add is a principal additive Q-specialization semilattice with 0and the comparison morphism ESexhibits it as a retract of U(S)in QAddPrinSL0(Q). (b) If every Q-ideal in U(S)is fixed by JS, then NSrestricts to the identity on U(S)and ES is an isomorphism. In particular U(S)∼ =I(S)add. Proof. Part (a) follows from the preceding lemmas. For (b), if JS(Φ) = Φ for all Φ ∈U(S), then NS(Φ) = Φ as well, so ESis the identity on U(S) and hence an isomorphism. 8 Examples and applications We illustrate the abstract theory in three concrete settings. 8.1 Boolean case Q= 2 When Qis the one-object quantaloid 2 = {0<1}with ∧as tensor, a Q-category is just a preorder, and a Q-specialization semilattice is precisely a specialization semilattice in the sense of Lipparini. In this case Q-presheaves are down-sets, and Q-ideals are the usual ideals of the semilattice. One checks that our construction U(S) coincides with Lipparini’s universal extension. 9