Proper maps of toposes / I. Moerdijk, J.J.C. Vermeulen.
We develop the theory of compactness of maps between toposes, together with associated notions of separatedness. This theory is built around two versions of "propriety" for topos maps, introduced here in a parallel fashion. The first, giving what we simply call "proper" maps, is...
Full description
Saved in: