# Pushout not a homotopy invariant

The pushout in the category of topological spaces is not a homotopy invariant. Can somebody give me an explicit example for this fact?

-

The pushout of $I \leftarrow 2 \rightarrow I$ where $I = [0, 1], 2 = \{ 0, 1 \}$, and both maps are the inclusion of the endpoints into the interval is $S^1$. This pushout diagram is homotopy equivalent to $1 \leftarrow 2 \rightarrow 1$ (where $1$ is a one-point space) whose pushout is $2$, which is not homotopy equivalent to $S^1$.
Indeed, a very similar example works: there's a cospan $1 \rightarrow I \leftarrow 1$ whose pullback is empty, but contracting $I$ to a point first makes the pullback $1$ instead. – Zhen Lin Oct 17 '12 at 18:35