Some recent applications of ultrafilters to topology