Duality beyond sober spaces: Topological spaces and observation frames

DOI10.1016/0304-3975(95)00048-2zbMath0872.06011MaRDI QIDQ671991

Bart Jacobs, Marcello M. Bonsangue, Joost N. Kok

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/1395

zbMATH Keywords

category; topological spaces; adjunction; topological duality; nonsober spaces; observation frames; predicate logic of observation frames; upper power spaces

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

03G10: Logical aspects of lattices and related structures

54A05: Topological spaces and generalizations (closure spaces, etc.)

68Q55: Semantics in the theory of computing

54B30: Categorical methods in general topology

06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)

Related Items

Duality and the completeness of the modal \(\mu\)-calculus, Toward an infinitary logic of domains: Abramsky logic for transition systems, Infinite intersection types

Cites Work

• Convex powerdomains. I
• Partial Horn logic and Cartesian categories
• Convex powerdomains. II
• Power domains
• General Functorial Semantics, I
• Function spaces and adjoints.
• A Powerdomain Construction
• Programming as a Discipline of Mathematical Nature
• A general character theory for partially ordered sets and lattices
• Atomless Parts of Spaces.
• The Theory of Representation for Boolean Algebras
• Completely Distributive Complete Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item