PROPER MAPS OF LOCALES

[摘要] We investigate the basic properties of stably closed, or proper maps of locales, in a setting formally similar to that developed by A. Joyal and M. Tierney for treating the descent theory of localic open maps. We show that proper maps are precisely the compact (perfect) maps previously considered by P.T. Johnstone, and that proper surjections are stable coequalizers, effective for descent in the category of locales.

[发布日期] 1994-02-18