Iteration of fiber product preserving bundle functors (Q5956992)

After collecting some important facts from the theory of principal prolongations of principal bundles and jet prolongations of associated bundles, the authors consider an arbitrary fiber product preserving bundle functor \(F\) of \({\mathcal FM}_m\) and study the \(F\)-prolongations of principal bundles and of their associated bundles. Then, using the theory of Weil algebras, is described the composition of two product preserving bundle functors on the category of fibered manifolds with \(m\)-dimensional bases and fiber preserving maps with local diffeomorphisms as base maps. As applications, are determined certain interesting geometric properties of the natural transformations of some of the iterated functors.