Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-23T22:14:59.783Z Has data issue: false hasContentIssue false
  • English
  • Français

A Cartesian closed extension of the category of locales

Published online by Cambridge University Press:  17 May 2006

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

Abstract

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
Mathematical Structures in Computer Science , Volume 16 , Issue 2 , April 2006 , pp. 231 - 253
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)