A non-linear version of Swan's theorem (Q1188017)

Swan's theorem [\textit{R. G. Swan}, Trans. Am. Math. Soc. 105, 264--277 (1962; Zbl 0109.41601)]asserts that there is an equivalence between the category of smooth vector bundles over a compact connected smooth finite dimensional manifold \(K\) with the bundle morphism and the category of finitely generated projective modules over the algebra \(\mathcal A\) (\(=C^\infty(K)\)) of smooth functions on \(K\) with morphisms \(\mathcal A\)-linear maps. The author defines \(\mathcal A\)-maps between finitely generated projective \(\mathcal A\)-modules to be smooth maps whose derivatives are \(\mathcal A\)-linear and shows the equivalence between the category of smooth maps over \(K\) with fibre preserving smooth maps and the category of finitely generated projective \(\mathcal A\)-modules with \(\mathcal A\)-maps. The author then defines the notion of \(\mathcal A\)-manifolds which represent the nonlinear correspondents of the finitely generated projective \(\mathcal A\)-modules and establishes the equivalence between the category of deformations over \(K\) and a full subcategory of \(\mathcal A\)-manifolds with \(\mathcal A\)-maps.