Universal extensions of specialization semilattices

A specialization semilattice is a join semilattice together with a coarser preorder ⊑ satisfying an appropriate compatibility condition. If X is a topological space, then (P(X),∪,⊑) is a specialization semilattice, where x ⊑ y if x ⊆ Ky, for x, y ⊆ X, and K is closure. Specialization semilattices an...

Full description

Bibliographic Details
Main Author: Paolo Lipparini
Format: Article
Language:English
Published: Shahid Beheshti University 2022-07-01
Series:Categories and General Algebraic Structures with Applications
Subjects:
Online Access:https://cgasa.sbu.ac.ir/article_102467_22fa793c505863fa9d7697bafd46728e.pdf
Description
Summary:A specialization semilattice is a join semilattice together with a coarser preorder ⊑ satisfying an appropriate compatibility condition. If X is a topological space, then (P(X),∪,⊑) is a specialization semilattice, where x ⊑ y if x ⊆ Ky, for x, y ⊆ X, and K is closure. Specialization semilattices and posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. 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.
ISSN:2345-5853
2345-5861