Differential geometry
Functional analysis
Fourier analysis
Linear temporal logic
Pullback
Mathematical analysis
Operator theory
Normed vector space