Construction 5.2.2.2. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of categories, let $f: C \rightarrow D$ be a morphism of the category $\operatorname{\mathcal{C}}$, and let $f_{!}: \operatorname{\mathcal{E}}_{C} \rightarrow \operatorname{\mathcal{E}}_{D}$ be the functor of Proposition 5.2.2.1. We will refer to $f_{!}$ as the functor of covariant transport along $f$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$