{"id":"arxiv/2605.21667","url":"https://arxiv.org/abs/2605.21667","tags":["math.LO","math.CT"],"score":0,"title":"From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions","domain":"math.LO","source":"arxiv","authors":["William Zuluaga","Belén Gimenez"],"reviews":0,"subject":"math.LO","summary":"We develop a relational duality for semilattices with adjunctions (SLatas) based on binary meet-relations. First, we introduce the category of MoS-spaces and establish a dual equivalence with modal semilattices. Then, by means of A-relations, we define the category RelSP and prove a dual equivalence between SLata and RelSP. To compare this framework with the multirelational semantics previously developed for SLatas, we introduce the notion of normal mS-space and show that, under this condition, the multirelational structure can be canonically recovered from a meet-relation, and conversely.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}