Some categorical aspects of information systems and domains

• Autores: Ales Pultr, Anna Tozzi
• Localización: Applied categorical structures, ISSN 0927-2852, Vol. 14, Nº 2, 2006, págs. 135-150
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

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