| Автор | HECKMANN, REINHOLD |
| Дата выпуска | 2006 |
| dc.description | 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. |
| Издатель | Cambridge University Press |
| Название | A Cartesian closed extension of the category of locales |
| DOI | 10.1017/S0960129506005135 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 16 |
| Первая страница | 231 |
| Последняя страница | 253 |
| Аффилиация | HECKMANN REINHOLD; AbsInt Angewandte Informatik GmbH |
| Выпуск | 2 |
