Cartesian closed topological hull of the construct of closure spaces

V. Claes, E. Lowen-Colebunders and G. Sonck

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.

Keywords: closure space, cartesian closedness, function space, cartesian closed topological hull.

2000 MSC: 54A05, 18D15, 54C35.

Theory and Applications of Categories, Vol. 8, 2001, No. 18, pp 481-489.

http://www.tac.mta.ca/tac/volumes/8/n18/n18.dvi
http://www.tac.mta.ca/tac/volumes/8/n18/n18.ps
http://www.tac.mta.ca/tac/volumes/8/n18/n18.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n18/n18.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n18/n18.ps

TAC Home