TY - RPRT TI - Filtral pretoposes and compact Hausdorff locales AU - Célia Borlido AU - Panagis Karazeris AU - Luca Reggio AU - Konstantinos Tsamis PY - 2024 UR - https://arxiv.org/abs/2306.11169 ID - 2306.11169 ER -