| |
| | AMCA: Duality as a Unifying Framework by Ingrid Rewitzky, Hilary Priestley, Mai Gehrke, Achim Jung, Marcello Bonsangue |
 | | Here several topologies, including the interval topology as well as a stronger topology, special to canonical extensions, play a fundamental role: maps are extended using analogues of the well-known liminf and limsup constructions from real analysis. |
 | | This research was motivated by Domain Theory, in the sense of Scott's approach to Denotational Semantics of programming languages, and indeed many classes of domains are subsumed by the general construction. |
 | | However, the primary structure of domains is order, not topology, and the challenge to capture this setting accurately in Stone duality is still open. |
| at.yorku.ca /c/a/o/p/07.htm (954 words) |
|