Abstrakt
The category of DCPOs is shown to have, as a part of a general category of information systems, the features analogous to that of the complete part in the sense of Brummer, Giuli and Herrlich.
The category of DCPOs is shown to have, as a part of a general category of information systems, the features analogous to that of the complete part in the sense of Brummer, Giuli and Herrlich.