Extended deformation functors

We introduce a precise notion, in terms of few Schlessinger's type conditions, of extended deformation functors which is compatible with most of recent ideas in the Derived Deformation Theory (DDT) program and with geometric examples. With this notion we develop the (extended) analogue of Schlessinger and obstruction theories. The inverse mapping theorem holds for natural transformations of extended deformation functors and all such functors with finite dimensional tangent space are prorepresentable in the homotopy category.