Some categorical aspects of information systems and domains

DOI10.1007/s10485-006-9011-1zbMath1104.06003OpenAlexW2060652316MaRDI QIDQ2432574

Ales Pultr, Anna Tozzi

Publication date: 25 October 2006

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-006-9011-1

zbMATH Keywords

completioncontinuous domainscontinuous information systemsEilenberg-Moore categories of a monad of idealsfunctor of ideals

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Categorical semantics of formal languages (18C50)

Related Items

Information systems for continuous semi-lattices, Representations of stably continuous semi-lattices by information systems and abstract bases

Cites Work

• Effectively given domains
• Continuous information systems
• Information systems for continuous posets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item