Functor calculus with a view toward smooth embeddings.