Publication at Faculty of Mathematics and Physics |
2003
Abstract
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.