The category of local algebras and points proches
  Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed. 
Margherita Barile, Fiorella Barone, Wlodzimierz M. Tulczyjew