#Contents# * table of contents {:toc} ## Definition ## A [[space]] $S$ is __smooth__ if the [[unit]] $f:S \to \mathfrak{J}(S)$ from $S$ to the [[infinitesimal shape]] of $S$ is an [[effective epic]] mapping. ## See also ## * [[differential geometry]] category: not redirected to nlab yet