Positivity relations on a locale

DOI10.1016/j.apal.2016.04.009zbMath1402.03090OpenAlexW2344290698MaRDI QIDQ290642

Steven Vickers, Francesco Ciraulo

Publication date: 3 June 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.04.009

zbMATH Keywords

basic pictureformal topologypowerlocale

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topological lattices, etc. (topological aspects) (54H12) Frames, locales (06D22) Intuitionistic mathematics (03F55)

Related Items (3)

On Small Types in Univalent Foundations ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Embedding locales and formal topologies into positive topologies

Cites Work

• Inductively generated formal topologies.
• Localic sup-lattices and tropological systems.
• Some points in formal topology.
• Quantales, observational logic and process semantics
• Constructive points of powerlocales
• Constructive theory of the lower power locale
• A constructive Galois connection between closure and interior
• Sublocales in formal topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Positivity relations on a locale