Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
4.45
\begin{equation} \begin{gathered}\label{equation:exponentiable-equivalent-condition} \xymatrix@R =50pt@C=50pt{ A \ar [d]^{i} \ar [r] & \operatorname{Res}_{\operatorname{\mathcal{D}}/\operatorname{\mathcal{C}}}( \operatorname{\mathcal{E}}) \ar [d] \\ B \ar@ {-->}[ur] \ar [r] & \operatorname{Res}_{ \operatorname{\mathcal{D}}_0/ \operatorname{\mathcal{C}}}( \operatorname{\mathcal{E}}_0 ) \times _{ \operatorname{Res}_{\operatorname{\mathcal{D}}_0/\operatorname{\mathcal{C}}}(\operatorname{\mathcal{E}}'_0) } \operatorname{Res}_{\operatorname{\mathcal{D}}/\operatorname{\mathcal{C}}}( \operatorname{\mathcal{E}}' )} \end{gathered} \end{equation}