Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
7.47
\begin{equation} \begin{gathered}\label{equation:witness-vs-sections0} \xymatrix { \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}(S, \operatorname{\mathcal{E}}) \ar [r] \ar [d]^{T_ S} & \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}(S', \operatorname{\mathcal{E}}) \ar [d]^{ T_{S'} } \\ \operatorname{Hom}_{ \operatorname{Fun}(S,\operatorname{\mathcal{C}}) }( \underline{\Delta ^{0}}_{S}, \mathscr {F}|_{S} ) \ar [r] & \operatorname{Hom}_{ \operatorname{Fun}(S',\operatorname{\mathcal{C}}) }( \underline{\Delta ^{0}}_{S'}, \mathscr {F}|_{S'} ) } \end{gathered} \end{equation}