A categorical proof of the equivalence of local compactness and exponentiability in locale theory
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006) no. 3, pp. 233-239. 
@article{CTGDC_2006__47_3_233_0,
     author = {Townsend, Christopher F.},
     title = {A categorical proof of the equivalence of local compactness and exponentiability in locale theory},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {233--239},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {47},
     number = {3},
     year = {2006},
     mrnumber = {2268378},
     zbl = {05073394},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_2006__47_3_233_0/}
}
TY  - JOUR
AU  - Townsend, Christopher F.
TI  - A categorical proof of the equivalence of local compactness and exponentiability in locale theory
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2006
SP  - 233
EP  - 239
VL  - 47
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_2006__47_3_233_0/
LA  - en
ID  - CTGDC_2006__47_3_233_0
ER  - 
%0 Journal Article
%A Townsend, Christopher F.
%T A categorical proof of the equivalence of local compactness and exponentiability in locale theory
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2006
%P 233-239
%V 47
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_2006__47_3_233_0/
%G en
%F CTGDC_2006__47_3_233_0
Townsend, Christopher F. A categorical proof of the equivalence of local compactness and exponentiability in locale theory. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006) no. 3, pp. 233-239. http://www.numdam.org/item/CTGDC_2006__47_3_233_0/

[1] Hyland, J.M.E. Function space in the category of locales. In "Continuous lattices", Lecture Notes in Math. vol. 871 (Springer-Verlag, 1981), 264-281. | Zbl

[2] Johnstone, P.T. Stone Spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press, 1982. | MR | Zbl

[3] Johnstone, P.T. Sketches of an elephant: A topos theory compendium. Vols 1, 2, Oxford Logic Guides 43, 44,Oxford Science Publications, 2002. | MR | Zbl

[4] Townsend, C.F. and Vickers, S.J. A Universal Characterization of the Double Power Locale. Theo.Comp. Sci. 316 (2004), 297-321. | MR | Zbl