I think [tag:stone-cech] should be a synonym of [tag:compactification] (and the latter might be pluralized); at least I think [tag:stone-cech] should be renamed to stone-cech-compactification (minus some characters to fit the limit).