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