L-domains, stable open sets, and stable Stone duality

Stone duality relates topological spaces and locales (or frames). But there are really many sorts of Stone dualities. In 1997, Yixiang Chen studied Stone dualities that relate so-called L-domains to so-called distributive D-semilattices. This was refined later in a common paper with Achim Jung. This is a very nice theory, which looks a lot like ordinary Stone duality between topological spaces and frames, but with a few twists. As we will see, the resulting monad, which I would like to call algebraicization, turns every L-domain into an algebraic L-domain. Read the full post.

This entry was posted in Uncategorized and tagged , . Bookmark the permalink.