Monthly Archives: November 2019

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