A note on proper maps of locales
Proper morphisms of locales correspond to perfect maps of topological spaces. The paper characterizes proper morphisms of locales in terms of extensions between compactifications.
scientific article; zbMATH DE number 5886916