Triposes as a Generalization of Localic Geometric Morphisms
arXiv:2005.06019
Abstract
We discuss how triposes may be understood as generalizations of localic geometric morphisms.
We have added a remark on the correct notion of morphism between regular triposes and why they are closed under composition