๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract)

โœ Scribed by Reinhold Heckmann


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
40 KB
Volume
40
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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