"Categorical Aspects of Topology and Analysis, Ottawa 1981: Proceedings" - читать интересную книгу автора (B. Banaschewski)