Tag Archives: continuous dcpo

≪-separating domains and FS-domains

Posted on May 20, 2026 by jgl

Achim Jung’s category of FS-domains is one of the two maximal cartesian-closed categories of continuous dcpos. Very recently, Wei Luan proposed a variation on the notion, and which he calls ≪-separating domains. One of his main theorems is that given … Continue reading →

Posted in Uncategorized | Tagged , , , | Comments Off on ≪-separating domains and FS-domains

All countable continuous dcpos are algebraic

Posted on May 20, 2025 by jgl

A little pearl this month: as the title says, all countable continuous dcpos are algebraic. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on All countable continuous dcpos are algebraic

Compact semilattices without small semilattices I: interval homomorphisms, products, and the Hoare hyperspace

Posted on October 20, 2023 by jgl

I have already talked about compact semilattices before, but there is a lot more to say, especially on the subject of having small semilattices or not. Zhenchao Lyu is joining me this month, and we will pursue this next month. … Continue reading →

Posted in Uncategorized | Tagged , , , , , | Comments Off on Compact semilattices without small semilattices I: interval homomorphisms, products, and the Hoare hyperspace