2024/07/11 by Paolo Lipparini, Lipparini, Paolo
Computer Science · Decision Sciences · #Advanced Algebra and Logic #Fuzzy and Soft Set Theory
paper · pdf · doi:10.48550/arxiv.2407.08446
A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence, hence equivalent to the category of semilattice epimorphisms. Guided by the above example, we recall an ``internal'' characterization of surjective homomorphisms between general relational systems.