Programming semantics to topological systems to lattice-valued topology. (English) Zbl 1291.18005
Summary: This paper examines the synergism emerging from three historically distinctive traditions: theory of locales; programming semantics and topological systems; and point-set lattice-theoretic (poslat) topology, both fixed-basis and variable-basis. Many gaps are discovered and filled with new results; and open questions are posed.
MSC:
18B30 | Categories of topological spaces and continuous mappings (MSC2010) |
68Q55 | Semantics in the theory of computing |
06F30 | Ordered topological structures |
18D20 | Enriched categories (over closed or monoidal categories) |
54A40 | Fuzzy topology |
54B30 | Categorical methods in general topology |
06D22 | Frames, locales |