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-01-01
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
