Cone (topology) (source code)

= Cone
{disambiguate=topology}
{wiki}

= Topological cone
{synonym}

The cone of a <topological space> $X$ is $CX=(X\times[0,1])/(X\times\{0\})$, with one end collapsed to a vertex. Realization of a <simplicial cone> gives this construction for the realized base complex.