Definition

For a space? $S$, the shape $\esh(S)$ is defined as

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