Skip to main content
added 227 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

For short, the exponential $(X,Y)$, characterized by the usual universal properties: morphisms from any locale $Z$ to $(X,Y)$ are functions from $X \times Z$ to $Y$, exists for all $Y$ if and only if $X$ is locally compact.

The reference for this is M.Hyland's paper Function spaces in the category of locales

There is also a chapter (C4) about it in Johnstone's Elephant (Hyland paper is a bit more complet about the case of locale because it gives a description of the geometric theory of morphism that is classified by the exponential, but Johnstone also treat the case of exponential of non localic toposes.)

The reference for this is M.Hyland's paper Function spaces in the category of locales

There is also a chapter (C4) about it in Johnstone's Elephant (Hyland paper is a bit more complet about the case of locale because it gives a description of the geometric theory of morphism that is classified by the exponential, but Johnstone also treat the case of exponential of non localic toposes.)

For short, the exponential $(X,Y)$, characterized by the usual universal properties: morphisms from any locale $Z$ to $(X,Y)$ are functions from $X \times Z$ to $Y$, exists for all $Y$ if and only if $X$ is locally compact.

The reference for this is M.Hyland's paper Function spaces in the category of locales

There is also a chapter (C4) about it in Johnstone's Elephant (Hyland paper is a bit more complet about the case of locale because it gives a description of the geometric theory of morphism that is classified by the exponential, but Johnstone also treat the case of exponential of non localic toposes.)

Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

The reference for this is M.Hyland's paper Function spaces in the category of locales

There is also a chapter (C4) about it in Johnstone's Elephant (Hyland paper is a bit more complet about the case of locale because it gives a description of the geometric theory of morphism that is classified by the exponential, but Johnstone also treat the case of exponential of non localic toposes.)