Exponentiality for the construct of affine sets

Abstract

The topological construct SSET of affine sets over the two-point set S contains many interesting topological subconstructs such as TOP, the construct of topological spaces, and CL, the construct of closure spaces. For this category and its subconstructs cartesian closedness is studied. We first give a classification of the subconstructs of SSET according to their behaviour with respect to exponenttiality. We formulate sufficient conditions implying that a subconstruct behaves similar to CL. On the other hand, we characterize a conglomerate of subconstructs with behaviour similar to TOP. Finally, we construct the cartesian closed topological hull of SSET.

Keywords

• Topological construct
• Affine space
• Cartesian closed category
• Cartesian closed topological hull
• Exponential object