Duality beyond sober spaces: Topological spaces and observation frames

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

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

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

categorytopological spacesadjunctiontopological dualitynonsober spacesobservation framespredicate logic of observation framesupper power spaces

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Logical aspects of lattices and related structures (03G10) Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (6)

Chu duality theory and coalgebraic representation of quantum symmetries ⋮ Infinite intersection types ⋮ The categories \(L\)-\(\mathbf{Top}_{0}\) and \(L\)-\(\mathbf{Sob}\) as epireflective hulls ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces ⋮ Toward an infinitary logic of domains: Abramsky logic for transition systems

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
• Topological representations of distributive lattices and Brouwerian logics
• 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

This page was built for publication: Duality beyond sober spaces: Topological spaces and observation frames