Differential geometry in the large