Categorical aspects of topology and analysis. - Banaschewski B Ed. (1982)