A Cartesian Closed Extension of the Category of Locales

Author Reinhold Heckmann



PDF
Thumbnail PDF

Files

DagSemProc.04351.3.pdf
  • Filesize: 291 kB
  • 20 pages

Document Identifiers

Author Details

Reinhold Heckmann

Cite AsGet BibTex

Reinhold Heckmann. A Cartesian Closed Extension of the Category of Locales. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.04351.3

Abstract

We present a Cartesian closed category ELOC of equilocales, which contains the category LOC of locales as a reflective full subcategory. The embedding of LOC into ELOC preserves products and all exponentials of exponentiable locales.
Keywords
  • Locale
  • Cartesian closed category

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads