Construction of Cartesian closed topological hulls
Jiřı́ Adámek, George E. Strecker · Czech digital mathematics library · 1981
Herrlich and L.D. Nel proved that any category which has a cartesian closed topological extension, preserving finite products, has a smallest such extension, called the CCT hull.The present paper is devoted to a direct construction of this hull.