The compactness operator in set theory and topology, (Mathematical Centre tracts, 21)