branch of mathematics handling global problems of analysis, by generalizing classical geometry and analysis to differential geometry, topology, and functional analysis on non-linear function varieties