Monthly Archives: August 2023

The fundamental theorem of compact semilattices

Bounded-complete domains, or bc-domains, are an amazingly rich kind of continuous domains. They form a Cartesian-closed category, and they are the densely injective topological spaces, among other properties. One characterization of bc-domains which I have not included in the book … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on The fundamental theorem of compact semilattices