Positivity relations on a locale
From MaRDI portal
Publication:290642
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
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