≪-separating domains and FS-domains

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 an FS-domain X and a ≪-separating domain Y, the space of Scott-continuous maps [X → Y] is a ≪-separating domain. Another one is that the same holds if instead X is assumed to be Noetherian. Read the full post.