Example 5.2.0.2. In the situation of Construction 5.2.0.1, suppose that $e = \operatorname{id}_{C}$ is a degenerate edge of $\operatorname{\mathcal{C}}$. Then the covariant transport function $e_{!}: \operatorname{\mathcal{E}}_{C} \rightarrow \operatorname{\mathcal{E}}_{C}$ is the identity function.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$