A Representation Theorem for Geometric Morphisms |
| |
Authors: | Christopher F. Townsend |
| |
Affiliation: | 1.Hertfordshire,UK |
| |
Abstract: | 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ński locale, and (ii) they satisfy Frobenius reciprocity. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|