Abstract:A specialization semilattice is a join semilattice together with a coarser preorder $ \sqsubseteq $ satisfying an appropriate compatibility condition. If $X$ is a topological space, then $(\mathcal P(X), \cup, \sqsubseteq )$ is a specialization semilattice, where $ x \sqsubseteq y$ if $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure. Specialization semilattices and posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. For short, the notion is useful since it allows us to consider a relation of "being generated by" with no need to require the existence of an actual "closure" or "hull", which might be problematic in certain contexts. In a former work we showed that every specialization semilattice can be embedded into the specialization semilattice associated to a topological space as above. Here we describe the universal embedding of a specialization semilattice into an additive closure semilattice. We notice that a categorical argument guarantees the existence of universal embeddings in many parallel situations.

GENERALIZATIONS AND CARTESIAN CLOSED SUBCATEGORIES OF SEMICONTINUOUS LATTICES

Localization of a Commutative Semi-ring

Characterizations of Distributive Lattices and Semicontinuous Lattices

Congruences on Continuous Lattices

Cartesian Closedness of The Category of Consistent L-domains

The Stone Representations for Generalized Continuous Posets

Semilattices with a congruence

Cartesian-closedness and subcategories of (L, M)-fuzzy Q-convergence spaces

Completely distributive enriched categories are not always continuous

A Remark on the Meet of Two Cartesian Closed Categories

The SECQ, Linear Regularity, and the Strong CHIP for an Infinite System of Closed Convex Sets in Normed Linear Spaces.

The Structure of Semiconic Idempotent Commutative Residuated Lattices

Closed and open-closed images of submetrizable spaces

Universal extensions of specialization semilattices

A Gelfand duality for continuous lattices

A General Theory of Concept Lattice (I): Emergence of General Concept Lattice

On a Characterization Theorem for Continuous Posets

On semisubtractive ideals of semirings

Cartesian closed and stable subconstructs of [0,1]-Cat

Indiscrete Common Commensurators

Order continuity and regularity on vector lattices and on lattices of continuous functions