Tag Archives: dcpo

Posets determined by countably many core-compact subspaces

Let me return to a topic that I have addressed a few times in recent posts: under which conditions does the Scott topology of the product of two posets coincide with the product topology of the Scott topologies? We have … Continue reading

Posted in Uncategorized | Tagged , , | Comments Off on Posets determined by countably many core-compact subspaces

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