cone
Given a topological space , the cone on (sometimes denoted by ) is the quotient space
Note that there is a natural inclusion which sends to
If is a based topological space, there is a similar reduced cone construction, given by With this definition, the natural inclusion becomes a based map, where we take to be the basepoint of the reduced cone.