Tag Archives: RB-domain

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 →