Tag Archives: complete lattice

Bc-hulls and Clat-hulls

Bounded-complete domains (bc-domains) are an incredibly useful form of continuous dcpos. Given a continuous dcpo X, is there a completion of X as a bc-domain, for example a free bc-domain on X? That does not exist in general, but Yuri … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Bc-hulls and Clat-hulls