Constructive theory of the lower power locale

DOI10.1017/S0960129500000876zbMath0849.18003OpenAlexW2112392897MaRDI QIDQ4882493

Jonathon Funk, Marta C. Bunge

Publication date: 15 July 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000876

zbMATH Keywords

localetoposespower domainfibrewise closedsup lattices

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Semantics in the theory of computing (68Q55) Topoi (18B25)

Related Items (10)

The spectrum of a localic semiring ⋮ Positivity relations on a locale ⋮ Sublocales in formal topology ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Cosheaves and connectedness in formal topology ⋮ Localic sup-lattices and tropological systems. ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Unnamed Item ⋮ Spreads and the symmetric topos ⋮ Functoriality of groupoid quantales. I.

Cites Work

• Unnamed Item
• Modal operators on Heyting algebras
• Constructive complete distributivity II
• Atomless Parts of Spaces.

This page was built for publication: Constructive theory of the lower power locale