2 papers
math.CT2023
Filtral pretoposes and compact Hausdorff locales
Célia Borlido, Panagis Karazeris, Luca Reggio +1
The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filter…
math.CT2020
Regular and effective regular categories of locales
Panagis Karazeris, Konstantinos Tsamis
We examine the analogues for the respective categories of locales of two well-known results about regularity and effectiveness of some categories of spaces. We show that the catego…