The following paper is available by anonymous ftp: Information Systems as Coalgebras R. Hoofman Abstract: "In this paper we show that the category CINF of continuous information systems introduced in [1] can be constructed from the category REL of sets and relations in a systematic way: we prove that CINF is the category of coalgebras of the lower powerdomain comonad on the Karoubi envelope of REL. Informally, this means that the category of continuous dcpo's is in proportion to the Karoubi envelope of REL, like the category of sets and functions is in proportion to REL." ([1] Vickers, S., Information Systems for Continuous Posets, Theoretical Computer Science, to appear.) FTP instructions:
ftp vera.fwi.uva.nl Name: anonymous Password: [your email address] cd pub/illc/raymond binary get coalg.dvi.Z (dvi-format) get coalg.ps.Z (ps-format) quit uncompress coalg.ps uncompress coalg.dvi
With kind regards, Raymond Hoofman. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++