The category of local algebras and points proches
arXiv:math/0602551
Abstract
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.