Ir al contenido

Documat


Resumen de Some categorical aspects of information systems and domains

Ales Pultr Árbol académico, Anna Tozzi

  • 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.


Fundación Dialnet

Mi Documat