#Contents# * table of contents {:toc} ## Definition ## For a [[space]] $S$, the __infinitesimal shape__ $\mathfrak{J}(S)$ is defined as $$\mathfrak{J}(S) \coloneqq i_*(i^*(S))$$ ## See also ## * [[differential geometry]] * [[infinitesimally thickened point]] * [[smooth space]] category: not redirected to nlab yet