Categorical aspects of topology and analysis - Banaschewski, Bernhard, 1926- (Lecture notes in mathematics ; LNM, 1982)