A smooth map
between smooth manifolds is a function
whose expression
in coordinate charts is a C∞-function
wherever it is defined.
The function composition of smooth maps is smooth. A smooth map also induces a pullback map on differential forms.