Filtral pretoposes and compact Hausdorff locales

MaRDI QIDQ6634617

Célia Borlido, Panagis Karazeris, Konstantinos Tsamis, Luca Reggio

Publication date: 8 November 2024

Published in: Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

constructive locale theoryfiltralitypretoposcompact Hausdorff locales

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames and locales, pointfree topology, Stone duality (18F70) Extensive, distributive, and adhesive categories (18B50)

This page was built for publication: Filtral pretoposes and compact Hausdorff locales