A Stone-type duality for semilattices with adjunctions

TL;DR

This paper establishes a spectral-style duality for semilattices with adjunctions, extending topological dualities and characterizing congruences and tense operators within this algebraic framework.

Contribution

It introduces a novel duality for semilattices with adjunctions and applies it to characterize congruences and tense operators, advancing the understanding of their algebraic and topological properties.

Findings

Developed a spectral-style duality for SLatas

Characterized SLata congruences via lower-Vietoris-type families

Derived a duality for tense operators on semilattices with a greatest element

Abstract

This paper focuses on semilattices with adjunctions (SLatas), which are semilattices with a greatest element enriched with a pair of adjoint maps. We develop a spectral-style duality for SLatas, building on prior topological dualities for monotone semilattices. As an application of this duality, we characterize SLata congruences through an adaptation of lower-Vietoris-type families. Furthermore, we investigate tense operators on semilattices with a greatest element, deriving a duality for this case by extending the results obtained for SLatas.