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]