Atomicity, coherence of information, and point-free structures (Q290637)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Atomicity, coherence of information, and point-free structures |
scientific article; zbMATH DE number 6588816
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Atomicity, coherence of information, and point-free structures |
scientific article; zbMATH DE number 6588816 |
Statements
Atomicity, coherence of information, and point-free structures (English)
0 references
3 June 2016
0 references
domain theory
0 references
information systems
0 references
formal topology
0 references
coherence
0 references
semantics
0 references
Scott information systems and point-free topology are each a well-established area of research closely related to domain theory. The article investigates the notions of atomicity and coherence in a synergy approach between the two areas. In particular, the author establishes an equivalence of categories between a suitably defined category of information systems and a category of Scott-Ershov formal topologies.NEWLINENEWLINEThe style of the article is a form of extended discussion, effectively introducing the structures at hand. It is very well written, with numerous useful references to relevant work scattered throughout the article.
0 references
