$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
7.50
\begin{eqnarray} \label{equation:induced-map-of-covariant-transport} \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{\mathcal{E}}, \operatorname{\mathcal{E}}' ) & \xrightarrow {\rho } & \operatorname{Hom}_{ \operatorname{Fun}( \operatorname{\mathcal{E}}, \operatorname{\mathcal{S}}) }( \underline{\Delta ^0}_{\operatorname{\mathcal{E}}}, \mathscr {F}'|_{\operatorname{\mathcal{E}}} ), \end{eqnarray}