Variant 7.5.3.10. Let $\operatorname{\mathcal{C}}$ be a category, let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ be a cocartesian fibration of $\infty $-categories, and let $\operatorname{sTr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ denote the strict transport representation of Construction 5.3.1.5, given on objects by the formula $\operatorname{sTr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}(C) = \operatorname{Fun}^{\operatorname{CCart}}_{ / \operatorname{N}_{\bullet }( \operatorname{\mathcal{C}}) }( \operatorname{N}_{\bullet }( \operatorname{\mathcal{C}}_{C/} ), \operatorname{\mathcal{E}})$. Then the isomorphism of Remark 7.5.3.9 restricts to an isomorphism of simplicial sets
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
\[ \operatorname{Fun}^{\operatorname{CCart}}_{ / \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) }( \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}), \operatorname{\mathcal{E}}) \xrightarrow {\sim } \varprojlim ( \operatorname{sTr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}} ). \]