Tag Archives: dcpo

Dcpos built as graphs of functions

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

Quotients, colimits of dcpos, and related matters

How do we build colimits in the category Top of topological spaces? This is easy: we take the quotient of a big disjoint sum. How do we build colimits in the category Dcpo of dcpos? This is a much more … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Quotients, colimits of dcpos, and related matters