Category, Boolean algebras and measure Maharam, D. — 1977 General topology and its relations to modern analysis and algebra IV