$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Example (Contracting an Edge). Let $\operatorname{\mathcal{C}}$ be a simplicial set and let $e$ be an edge of $\operatorname{\mathcal{C}}$ which corresponds to a monomorphism of simplicial sets $\Delta ^1 \hookrightarrow \operatorname{\mathcal{C}}$ (that is, the source and target of $e$ are distinct when regarded as vertices of $\operatorname{\mathcal{C}}$). Let $\operatorname{\mathcal{C}}'$ denote the simplicial set obtained from $\operatorname{\mathcal{C}}$ by collapsing the edge $e$, so that we have a pushout square of simplicial sets

\[ \xymatrix@R =50pt@C=50pt{ \Delta ^1 \ar [r]^{e} & \operatorname{\mathcal{C}}\ar [d]^{T} \\ \Delta ^{0} \ar [r] & \operatorname{\mathcal{C}}'. } \]

Since the horizontal maps in this diagram are monomorphisms, it is also a categorical pushout square (Example Combining Corollary with Example, we see that $T$ exhibits $\operatorname{\mathcal{C}}'$ as a localization of $\operatorname{\mathcal{C}}$ with respect to the singleton $W = \{ e \} $.