A non-topological view of dcpos as conve
โ
Reinhold Heckmann
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 370 KB
The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category CONV of convergence spaces. It is well known that the category DCPO of dcpos and Scott continuous functions can be embedded into TOP, and so into CONV, by considering the Scott topo