Atomicity, coherence of information, and point-free structures (Q290637): Difference between revisions

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