Tangent bundle TM

Disjoint union of tangent spaces TM = sqcup_p T_pM forms 2n-dim smooth manifold; vector field is section of TM; foundation for Lie derivative + connection + curvature.