A pair of monads in Topology
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915419631124480 |
|---|---|
| author | Razafindrakoto, Ando |
| author_facet | Razafindrakoto, Ando |
| contents | In the article \cite{Sim}, H. Simmons describes two monads of interests arising from the dual adjunction between the category of topological spaces and that of (bounded) distributive lattices. These are the open prime filter monad and the ideal lattice monad. It is known that the ideal lattice monad induces the ideal frame comonad on the category of frames. We show that this ideal frame comonad can be paired with the open prime filter monad via the open set-spectrum adjunction. From this, we give a new proof of the equivalence between the category of stably compact spaces and that of stably compact frames on one hand, and that of compact Hausdorff spaces and compact regular frames on the other. We show, among other things, how the Čech-Stone compactification in Pointfree Topology and Pointset Topology relate each other in this particular context. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_23403 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A pair of monads in Topology Razafindrakoto, Ando Category Theory 54X10, 58Y30, 18D35 In the article \cite{Sim}, H. Simmons describes two monads of interests arising from the dual adjunction between the category of topological spaces and that of (bounded) distributive lattices. These are the open prime filter monad and the ideal lattice monad. It is known that the ideal lattice monad induces the ideal frame comonad on the category of frames. We show that this ideal frame comonad can be paired with the open prime filter monad via the open set-spectrum adjunction. From this, we give a new proof of the equivalence between the category of stably compact spaces and that of stably compact frames on one hand, and that of compact Hausdorff spaces and compact regular frames on the other. We show, among other things, how the Čech-Stone compactification in Pointfree Topology and Pointset Topology relate each other in this particular context. |
| title | A pair of monads in Topology |
| topic | Category Theory 54X10, 58Y30, 18D35 |
| url | https://arxiv.org/abs/2507.23403 |