Cosheaves and connectedness in formal topology

DOI10.1016/J.APAL.2011.06.024zbMATH Open1251.03091OpenAlexW2077690811MaRDI QIDQ651322FDOQ651322

Authors: 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

Recommendations

• scientific article; zbMATH DE number 753667
• Convergence in formal topology: a unifying notion
• Cosheafification
• Cosheaves and distributions on toposes
• Connected Locally Connected Toposes are Path-Connected

zbMATH Keywords

locally connectedcosheafcomplete spreadpredicative formal topologypredicative mathematicssymmetric topos

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Continuity and geometric logic
• The connected Vietoris powerlocale
• Pitts monads and a lax descent theorem
• The Cosmic Hausdorff Topology, the Bounded Hausdorff Topology and Continuity of Polarity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651322)