A Cartesian closed extension of the category of locales
HECKMANN, REINHOLD; HECKMANN REINHOLD; AbsInt Angewandte Informatik GmbH
Журнал:
Mathematical Structures in Computer Science
Дата:
2006
Аннотация:
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.
230.1Кб