Some geometric-differential models in the class of formal operator power series

Abstract

We consider an example of a formal construction of local differential geometry in which smooth functions regarded as morphisms are replaced by formal operator power series.