Filtral pretoposes and compact Hausdorff locales
type: Item
instance of: scholarly article
title: Filtral pretoposes and compact Hausdorff locales
author: Célia Borlido
author: Panagis Karazeris
author: Luca Reggio
author: Konstantinos Tsamis
published in: Theory and Applications of Categories
publication date: 2024-11-08T00:00:00Z
Mathematics Subject Classification ID: 18F70
Mathematics Subject Classification ID: 18B50
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 7940408
zbMATH Keywords: compact Hausdorff locales
zbMATH Keywords: pretopos
zbMATH Keywords: filtrality
zbMATH Keywords: constructive locale theory
MaRDI profile type: MaRDI publication profile
cites work: Q3927875
cites work: A globalisation of the Gelfand duality theorem
cites work: Exact categories and categories of sheaves
cites work: Boolean Algebras and Distributive Lattices Treated Constructively
cites work: Q4314472
cites work: Introduction to extensive and distributive categories
cites work: Q3050433
cites work: A preservation result for completely regular locales.
cites work: Localic metric spaces and the localic Gelfand duality
cites work: A topos for algebraic quantum theory
cites work: Atomless Parts of Spaces.
cites work: The Gleason cover of a topos. I
cites work: Q3711309
cites work: Q4783274
cites work: Left Kan extensions preserving finite products
cites work: Regular and effective regular categories of locales
cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
cites work: Q4679166
cites work: Q3705457
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: A characterisation of the category of compact Hausdorff spaces
cites work: Frames and Locales
cites work: Separation in Point-Free Topology
cites work: Q4459228
cites work: Quotient maps of locales
cites work: An Elementary Theory of the Category of Topological Spaces
cites work: The theory of representations for Boolean algebras.
cites work: Q3978991
description: scientific article; zbMATH DE number 7940408