Una aplicación entre variedades se dice diferenciable si dada una carta local formula_124 que contenga al punto formula_125 y formula_126 que contenga a formula_127, la aplicación formula_128es diferenciable como función de formula_129 a formula_130.