Triposes as a Generalization of Localic Geometric Morphisms

2020/05/12 by Frey, J., Streicher, T.
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2005.06019

Abstract

We discuss how triposes may be understood as generalizations of localic geometric morphisms.

Related

• Representing geometric morphisms using power locale monads
• An essential, hyperconnected, local geometric morphism that is not\n locally connected
• A tripos based on compact Hausdorff spaces
• An Essential Local Geometric Morphism which is not Locally Connected\n though its Inverse Image Part defines an Exponential Ideal
• Some Properties of Internal Locale Morphisms Externalised