Higher order jet involution
We introduce an exchange natural isomorphism between iterated higher order jet functors depending on a classical linear connection on the base manifold. As an application we study the prolongation of higher order connections to jet bundles.