Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2022
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913582849982464 |
|---|---|
| author | Bezhanishvili, Guram Carai, Luca Morandi, Patrick |
| author_facet | Bezhanishvili, Guram Carai, Luca Morandi, Patrick |
| contents | We connect Priestley duality for distributive lattices and its generalization to distributive meet-semilattices to Hofmann-Mislove-Stralka duality for semilattices. Among other things, this involves consideration of various morphisms between algebraic frames. We also show how Stone duality for boolean algebras and generalized boolean algebras fits as a particular case of the general picture we develop. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2207_13938 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality Bezhanishvili, Guram Carai, Luca Morandi, Patrick Logic 06A12, 06D22, 06E15, 18F70, 22A26 We connect Priestley duality for distributive lattices and its generalization to distributive meet-semilattices to Hofmann-Mislove-Stralka duality for semilattices. Among other things, this involves consideration of various morphisms between algebraic frames. We also show how Stone duality for boolean algebras and generalized boolean algebras fits as a particular case of the general picture we develop. |
| title | Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality |
| topic | Logic 06A12, 06D22, 06E15, 18F70, 22A26 |
| url | https://arxiv.org/abs/2207.13938 |