Cosheaves and connectedness in formal topology
type: Item
instance of: scholarly article
title: Cosheaves and connectedness in formal topology
zbMATH Open document ID: 1251.03091
author: Steven Vickers
published in: Annals of Pure and Applied Logic
publication date: 2011-12-12T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 18F10
Mathematics Subject Classification ID: 54B20
Mathematics Subject Classification ID: 54D05
zbMATH DE Number: 5987970
zbMATH Keywords: locally connected
zbMATH Keywords: cosheaf
zbMATH Keywords: symmetric topos
zbMATH Keywords: complete spread
zbMATH Keywords: predicative formal topology
zbMATH Keywords: predicative mathematics
MaRDI profile type: Publication
full work available at URL: j.apal.2011.06.024
OpenAlex ID: W2077690811
cites work: Homology theory for locally compact spaces
cites work: Singular coverings of toposes
cites work: Constructive theory of the lower power locale
cites work: Inductively generated formal topologies.
cites work: Constructive metrisability in point-free topology.
cites work: The locally connected coclosure of a Grothendieck topos
cites work: Q3965241
cites work: Q3322276
cites work: Q4783274
cites work: Continuous categories and exponentiable toposes
cites work: An extension of the Galois theory of Grothendieck
cites work: Q5639839
cites work: A structural investigation on formal topology: coreflection of formal covers and exponentiability
cites work: Q3714248
cites work: Continuous domains as formal spaces
cites work: Tychonoff's theorem in the framework of formal topologies
cites work: Partial Horn logic and Cartesian categories
cites work: Q3693678
cites work: The problem of the formalization of constructive topology
cites work: Proper maps of locales
cites work: Topical categories of domains
cites work: Sublocales in formal topology
cites work: Q4870815
cites work: Q3156489
cites work: Compactness in locales and in formal topology
cites work: Constructive points of powerlocales
DOI: 10.1016/J.APAL.2011.06.024
description: scientific article; zbMATH DE number 5987970