Contents

Definition

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

where $p^!(T)$ is the indiscrete space of the homotopy type $T$ and $p_!(S)$ is the fundamental homotopy type of the space $S$.

See also

• topology
• geometrically contractible space