Cosheaves and connectedness in formal topology

DOI10.1016/j.apal.2011.06.024zbMath1251.03091OpenAlexW2077690811MaRDI QIDQ651322

Steven Vickers

Publication date: 12 December 2011

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.2011.06.024

zbMATH Keywords

locally connectedcosheafcomplete spreadpredicative formal topologypredicative mathematicssymmetric topos

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Constructive and recursive analysis (03F60) Connected and locally connected spaces (general aspects) (54D05) Other constructive mathematics (03F65) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items (3)

Continuity and geometric logic ⋮ Pitts monads and a lax descent theorem ⋮ The connected Vietoris powerlocale

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial Horn logic and Cartesian categories
• Continuous categories and exponentiable toposes
• The locally connected coclosure of a Grothendieck topos
• Proper maps of locales
• Inductively generated formal topologies.
• Constructive metrisability in point-free topology.
• The problem of the formalization of constructive topology
• Singular coverings of toposes
• Compactness in locales and in formal topology
• Homology theory for locally compact spaces
• An extension of the Galois theory of Grothendieck
• Continuous domains as formal spaces
• Constructive points of powerlocales
• Tychonoff's theorem in the framework of formal topologies
• Topical categories of domains
• Constructive theory of the lower power locale
• Sublocales in formal topology
• A structural investigation on formal topology: coreflection of formal covers and exponentiability

This page was built for publication: Cosheaves and connectedness in formal topology