With J.Adamek, we have proved that the category of topological spaces is weakly cartesian closed. Hence its exact completion is cartesian closed (following the result I announced on May 15).