A pair of monads in Topology

TL;DR

This paper explores the relationships between two monads in topology, providing new proofs of equivalences between categories of topological spaces and frames, and relating classical compactification concepts in pointfree and pointset topology.

Contribution

It introduces a novel pairing of the ideal frame comonad with the open prime filter monad via the open set-spectrum adjunction, offering new insights into topological and frame category equivalences.

Findings

Established a pairing between the ideal frame comonad and the open prime filter monad.

Provided a new proof of the equivalence between categories of stably compact spaces and frames.

Connected cech-Stone compactification in pointfree and pointset topology.

Abstract

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 \v{C}ech-Stone compactification in Pointfree Topology and Pointset Topology relate each other in this particular context.