从多关系到 meet-关系：半格子带关接的关系对偶性
逻辑
2026-05-22 v1 范畴论
摘要
我们发展了基于二进制 meet-relation 的半格子带关接 (SLatas) 的关系对偶性。首先，我们引入 MoS-空间的范畴并建立与模态半格子之间的双语等价。随后，我们通过 A-relation 定义 RelSP 范畴并证明 SLata 与 RelSP 之间的双语等价。为了将此框架与之前为 SLatas 开发的多关系语义进行比较，我们引入 normal mS-space 的概念并表明在此条件下，多关系结构可从 meet-relation 中规范地恢复，反之亦然。作为结果，我们证明了 RelSP 和 SLataSp 范畴是同构的。
引用
@article{arxiv.2605.21667,
title = {From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions},
author = {William Zuluaga and Belén Gimenez},
journal= {arXiv preprint arXiv:2605.21667},
year = {2026}
}