Triposes as a Generalization of Localic Geometric Morphisms

Abstract

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