Categorical Aspects of Topology and Analysis - Banaschewski, B.