Hostname: page-component-6bf8c574d5-qdpjg Total loading time: 0 Render date: 2025-02-20T23:51:51.034Z Has data issue: false hasContentIssue false

A Cartesian closed extension of the category of locales

Published online by Cambridge University Press:  17 May 2006

REINHOLD HECKMANN
Affiliation:
AbsInt Angewandte Informatik GmbH, Science Park 1, D-66123 Saarbrücken, Germany Email: heckmann@absint.com
Rights & Permissions [Opens in a new window]

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
Copyright
2006 Cambridge University Press