A categorical proof of the equivalence of local compactness and exponentiability in locale theory
Townsend, Christopher F.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006), p. 233-239 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2006-01-01
@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},
     volume = {47},
     year = {2006},
     pages = {233-239},
     mrnumber = {2268378},
     zbl = {05073394},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 233-239. http://gdmltest.u-ga.fr/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 0483.54005

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

[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 1953060 | Zbl 1071.18001

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