Total objects of domains (Q800730)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Total objects of domains |
scientific article; zbMATH DE number 3878365
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Total objects of domains |
scientific article; zbMATH DE number 3878365 |
Statements
Total objects of domains (English)
0 references
1984
0 references
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.
0 references
continuous lattices
0 references
Scott topology
0 references
total objects
0 references
bounded-complete cpo
0 references
0.7965875864028931
0 references
0.7586630582809448
0 references
0.7415612936019897
0 references
