Tag Archives: quasi-polish space

Quasi-Polish spaces as rounded ideal completions

Posted on May 20, 2020 by jgl

This month, a pearl by Matthew de Brecht. It is known that the rounded ideal completion of an abstract basis (a set B with a transitive, interpolative relation) is a continuous dcpo, and that all continuous dcpos can be obtained … Continue reading →

Posted in Uncategorized | Tagged , | Comments Off on Quasi-Polish spaces as rounded ideal completions

Dcpos built as graphs of functions

Posted on February 20, 2020 by jgl

Let X and P be two dcpos, and let ψ be a map from X to P. When is the graph of ψ a dcpo? I will give you a funny sufficient condition, which involves the so-called d-topology, and Hausdorffness. … Continue reading →

Posted in Uncategorized | Tagged , , , | Comments Off on Dcpos built as graphs of functions