#Contents# * table of contents {:toc} ## Definition ## For a [[space]] $S$, the __shape__ $\esh(S)$ is defined as $$\esh(S) \coloneqq p^*(p_!(S))$$ where $p^*(T)$ is the discrete space of the homotopy type $T$ and $p_!(S)$ is the fundamental homotopy type of the space $S$. ## See also ## * [[topology]] * [[geometrically contractible space]]