Function spaces in the category of locales

  • J. M. E. Hyland
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 871)


Function Space Topological Space Binary Sequence Complete Lattice Discrete Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Day B.J. and Kelly G.M., On topological quotient maps preserved by pullbacks or products, Proc. Camb. Phil. Soc. (1970) 67, 553–558.MathSciNetCrossRefzbMATHGoogle Scholar
  2. [2]
    Fourman M.P., Formal spaces, in preparation.Google Scholar
  3. [3]
    Fourman M.P. and Hyland J.M.E., Sheaf models for analysis, in Applications of Sheaves, SLN 753, 280–301.Google Scholar
  4. [4]
    Gierz-Hofmann-Keimel-Lawson-Mislove-Scott, A compendium on continuous lattices, to appear.Google Scholar
  5. [5]
    Isbell J.R., Function spaces and adjoints, Math. Scand. 36 (1975), 317–339.MathSciNetzbMATHGoogle Scholar
  6. [6]
    Johnstone P.T., Stone Spaces, book in preparation, preliminary manuscript in circulation.Google Scholar

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • J. M. E. Hyland
    • 1
  1. 1.D.P.M.M.S.Cambridge UniversityEngland

Personalised recommendations