Triposes as a Generalization of Localic Geometric Morphisms
Category Theory
2023-09-19 v4
Abstract
We discuss how triposes may be understood as generalizations of localic geometric morphisms.
Keywords
Cite
@article{arxiv.2005.06019,
title = {Triposes as a Generalization of Localic Geometric Morphisms},
author = {J. Frey and T. Streicher},
journal= {arXiv preprint arXiv:2005.06019},
year = {2023}
}
Comments
We have added a remark on the correct notion of morphism between regular triposes and why they are closed under composition