In this paper, we prove an inverse function theorem in derived differential geometry. More concretely, show that a morphism of curved $L\_\infty$ spaces which is quasi-isomorphism at point has local homotopy inverse. This simultaneously generalizes the for smooth manifolds and Whitehead algebras. The main ingredients are obstruction theory homomorphisms (in setting) transfer Both techniques wor...
