Categories based on the Vickers's continuous information systems and the related categories of continuous domains (algebraic domains, Scott domains, continuous lattices etc.) are shown to be both Kleisli and Eilenberg–Moore categories of a monad of ideals. Further, the functor of ideals is shown to be a completion in the sense of Brümmer, Giuli and Herrlich.

Some categorical Aspects of Information Systems and Domains

TOZZI, Anna
2006

Abstract

Categories based on the Vickers's continuous information systems and the related categories of continuous domains (algebraic domains, Scott domains, continuous lattices etc.) are shown to be both Kleisli and Eilenberg–Moore categories of a monad of ideals. Further, the functor of ideals is shown to be a completion in the sense of Brümmer, Giuli and Herrlich.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11697/13126
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact