Voir la notice de l'article provenant de la source Theory and Applications of Categories website
A cartesian closed topological hull of the construct CLS of closure spaces and continuous maps is constructed. The construction is performed in two steps. First a cartesian closed extension L of CLS is obtained. We apply a method worked out by J. Adamek and J. Reiterman for constructing extensions of constructs that in some sense ``resemble'' the construct of uniform spaces. Secondly, within this extension L the cartesian closed topological hull L* of CLS is characterized as a full subconstruct. In order to find the internal characterization of the objects of L* we produce a concrete functor to the category of power closed collections based on CLS as introduced by J. Adamek, J. Reiterman and G.E. Strecker.
@article{TAC_2001_8_a17, author = {V. Claes and E. Lowen-Colebunders and G. Sonck}, title = {Cartesian closed topological hull of the construct of closure spaces}, journal = {Theory and applications of categories}, pages = {481--489}, publisher = {mathdoc}, volume = {8}, year = {2001}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2001_8_a17/} }
TY - JOUR AU - V. Claes AU - E. Lowen-Colebunders AU - G. Sonck TI - Cartesian closed topological hull of the construct of closure spaces JO - Theory and applications of categories PY - 2001 SP - 481 EP - 489 VL - 8 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2001_8_a17/ LA - en ID - TAC_2001_8_a17 ER -
V. Claes; E. Lowen-Colebunders; G. Sonck. Cartesian closed topological hull of the construct of closure spaces. Theory and applications of categories, Tome 8 (2001), pp. 481-489. http://geodesic.mathdoc.fr/item/TAC_2001_8_a17/