No CrossRef data available.
Article contents
A Cartesian closed extension of the category of locales
Published online by Cambridge University Press: 17 May 2006
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
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
- Paper
- Information
- Copyright
- 2006 Cambridge University Press