On naturality of some construction of connections

Abstract

Let \(F\) be a bundle functor on the category of all fibred manifolds and fibred maps. Let \(\Gamma\) be a general connection in a fibred manifold \(\mathrm{pr}:Y\to M\) and \(\nabla\) be a classical linear connection on \(M\). We prove that the  well-known general connection \(\mathcal{F}(\Gamma,\nabla)\) in \(FY\to M\) is canonical with respect to fibred maps and with respect to natural transformations of bundle functors.