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