A tripos based on compact Hausdorff spaces

2016/02/10 by Fabio Pasquali, Pasquali, Fabio
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Fuzzy and Soft Set Theory #math.CT

paper · pdf · doi:10.48550/arxiv.1602.03412

arxiv created 2016/02/10 · openalex publication_date 2016/02/10 · arxiv updated 2016/02/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.

Related

• The Hausdorff topology as a moduli space
• Compact Hausdorff Locales in presheaf toposes
• Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects
• How to avoid a compact set
• Triposes as a Generalization of Localic Geometric Morphisms