2020/04/09 by Panagis Karazeris, Karazeris, Panagis, Konstantinos I. Tsamis +2
Mathematics · #06D22 #18B25 #18B35 #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics #Rings, Modules, and Algebras #math.CT #msc:06D22 #msc:18B25 #msc:18B35
paper · pdf · doi:10.48550/arxiv.2004.04404
12 pages. To appear in Cahiers de Topologie et Geometrie Differentiale Categoriques. Substantially revised compared to the previously uploaded version
openalex publication_date 2020/04/09 · arxiv created 2020/10/20 · arxiv updated 2020/10/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 category of compact regular locales is effective regular (=Barr-exact). We also show that the category of compactly generated Hausdorff locales is regular, provided that it is coreflective within Hausdorff locales. We do not appeal to the existence of points (which would render the two results trivial) but rely on the treatment of the subject by methods that are valid in the internal logic of a topos. On the course to the result about compactly generated locales we arrive at a generalization of a result of B. Day and R. Street, deriving regularity for a cocomplete category containing a dense regular subcategory closed under finite limits and colimits and satisfying a certain compatibility condition of pullbacks with appropriate colimits.