Topological Dualities for Modal Algebras
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910157472006144 |
|---|---|
| author | Collinson, Matthew |
| author_facet | Collinson, Matthew |
| contents | We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant variations in the point construction. We show how the situation simplifies in the case of semicontinuous relations, allowing for straightforward correspondences between modal axioms and relational properties. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_20603 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Topological Dualities for Modal Algebras Collinson, Matthew Category Theory Logic in Computer Science Logic We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant variations in the point construction. We show how the situation simplifies in the case of semicontinuous relations, allowing for straightforward correspondences between modal axioms and relational properties. |
| title | Topological Dualities for Modal Algebras |
| topic | Category Theory Logic in Computer Science Logic |
| url | https://arxiv.org/abs/2604.20603 |