Peetre-Slovák's theorem revisited
In 1960, J. Peetre proved the finiteness of the order of linear local operators. Later on, J. Slovák vastly generalized this theorem, proving the finiteness of the order of a broad class of (non-linear) local operators. In this paper, we use the language of sheaves and ringed spaces to prove a simpler version of Slovák's result. The statement we prove, adapting Slovák's original ideas, deals with local operators defined between the sheaves of smooth sections of fibre bundles, and thus covers many of the applications of Slovák's theorem.