Compactly generated domain theory
Compactly generated domain theory
We propose compactly generated monotone convergence spaces as a well-behaved topological generalisation of directed-complete partial orders (dcpos). The category of such spaces enjoys the usual properties of categories of āpredomainsā in denotational semantics. Moreover, such properties are retained if one restricts to spaces with a countable pseudobase in the sense ā¦