Cosheaves and connectedness in formal topology

DOI10.1016/J.APAL.2011.06.024MaRDI QIDQ651322zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 3853324 (Why is no real title available?)
• scientific article; zbMATH DE number 3916527 (Why is no real title available?)
• scientific article; zbMATH DE number 3941764 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 860043 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A structural investigation on formal topology: coreflection of formal covers and exponentiability
• An extension of the Galois theory of Grothendieck
• Compactness in locales and in formal topology
• Constructive metrisability in point-free topology.
• Constructive points of powerlocales
• Constructive theory of the lower power locale
• Continuous categories and exponentiable toposes
• Continuous domains as formal spaces
• Homology theory for locally compact spaces
• Inductively generated formal topologies.
• Partial Horn logic and Cartesian categories
• Proper maps of locales
• Singular coverings of toposes
• Sublocales in formal topology
• The locally connected coclosure of a Grothendieck topos
• The problem of the formalization of constructive topology
• Topical categories of domains
• Tychonoff's theorem in the framework of formal topologies

Cited in

(4)

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

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)