A Cartesian closed extension of the category of locales

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.

• Type: Journal
• Year: 2006
• Where: MSCS
• Authors: Reinhold Heckmann
• Keywords: Exponentiable Locales, Locales, MSCS 2006, Subcategory