A categorical proof of the equivalence of local compactness and exponentiability in locale theory

Christopher F. Townsend

Cahiers de Topologie et Géométrie Différentielle Catégoriques (2006)

  • Volume: 47, Issue: 3, page 233-239
  • ISSN: 1245-530X

How to cite

top

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 47.3 (2006): 233-239. <http://eudml.org/doc/91708>.

@article{Townsend2006,
author = {Townsend, Christopher F.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {locale; local compactness; exponentiability},
language = {eng},
number = {3},
pages = {233-239},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {A categorical proof of the equivalence of local compactness and exponentiability in locale theory},
url = {http://eudml.org/doc/91708},
volume = {47},
year = {2006},
}

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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 47
IS - 3
SP - 233
EP - 239
LA - eng
KW - locale; local compactness; exponentiability
UR - http://eudml.org/doc/91708
ER -

References

top
  1. [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. Zbl0483.54005
  2. [2] Johnstone, P.T.Stone Spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press, 1982. Zbl0499.54001MR698074
  3. [3] Johnstone, P.T.Sketches of an elephant: A topos theory compendium. Vols 1, 2, Oxford Logic Guides43, 44,Oxford Science Publications, 2002. Zbl1071.18001MR1953060
  4. [4] Townsend, C.F. and Vickers, S.J.A Universal Characterization of the Double Power Locale. Theo.Comp. Sci.316 (2004), 297-321. Zbl1047.06006MR2074935

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.