Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981 - Banaschewski, Bernhard (Lecture notes in mathematics, 1982)