Triposes as a Generalization of Localic Geometric Morphisms
We discuss how triposes may be understood as generalizations of localic geometric morphisms.
math.CT↗
arXiv subjects
T. Streicher
Publications and source records attributed to T. Streicher.
arXiv subjects
Publications and source records attributed to T. Streicher.
We discuss how triposes may be understood as generalizations of localic geometric morphisms.