Generalization
It is possible to generalize the notion of proper maps of topological spaces to locales and topoi, see (Johnstone 2002).
Read more about this topic: Proper Map
Generalization
It is possible to generalize the notion of proper maps of topological spaces to locales and topoi, see (Johnstone 2002).
Read more about this topic: Proper Map