4 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Christopher Townsend
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characteris…