It is widely recognized that jet language is the natural way to speak with the local problems of differentiable mathematics. To cite a few examples, one can refer to differential equations ([1], [4], [6], [8], [9], [16]), singularities ([7]),
calculus of variations and field theory ([5], [10], [11] - [14]).