A Cartesian Closed Extension of the Category of Locales

Reinhold Heckmann


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.

Extended Abstract (1 page): [ExtAbs.ps] [ExtAbs.pdf]
Full paper (20 pages): [Paper.ps.gz] [Paper.pdf]

Reinhold Heckmann / heckmann@absint.com