Total objects of domains (Q800730): Difference between revisions

The main result of this paper is a characterization of the space induced by Scott topology on the set of total objects of a bounded-complete cpo. This characterization is simple with bounded-complete algebraic cpo's where a family of clopen sets plays an essential role in the characterization. In the more general case of continuity, one can only produce distinct families of open sets and closed sets to axiomatize the essential properties of a total space. Besides the main characterization, we also discuss its relation to continuous spaces, studied in our earlier paper, and the relation between compact \(T_ 1\) spaces and total spaces under the lower topology.