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 /