Кодиференціал (диференціальна геометрія)

Кодиференціалом відображення $\varphi: M \to N$ між диференційовними многовидами називають відображення $\varphi^*: T^*N \to T^*M$ , що визначається формулою $(\varphi^*\omega)(X) = \omega(\varphi_*X)$ . Це відображення у один раз менш гладке ніж вихідне відображення $\varphi$ .