A Representation Theorem for Geometric Morphisms

It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are characterized by (i) they preserve the order enrichment and the Sierpi

• Type: Journal
• Year: 2010
• Where: ACS
• Authors: Christopher F. Townsend
• Keywords: ACS 2010, Certain Adjunctions, Corresponding Categories, Distributed And Parallel Computing, Elementary Toposes