Triposes as a Generalization of Localic Geometric Morphisms

Abstract

We discuss how triposes may be understood as generalizations of localic geometric morphisms.Comment: We have updated some references and included a reference to a comment in Hyland, Johnstone and Pitts's original paper where they discuss whether triposes over Set inducing the same localic topos over Set are unique up to equivalenc