Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
7.29
\begin{equation} \begin{gathered}\label{equation:relative-Kan-extension-mapping2} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}^0 \ar [r]^-{ G_0 } \ar [d] & \operatorname{Fun}(\Delta ^ n, \operatorname{\mathcal{D}}) \ar [d]^{V'} \\ \operatorname{\mathcal{C}}\ar@ {-->}[ur]^{G} \ar [r] & \operatorname{Fun}(\operatorname{\partial \Delta }^ n, \operatorname{\mathcal{D}}) \times _{ \operatorname{Fun}(\operatorname{\partial \Delta }^ n, \operatorname{\mathcal{E}}) } \operatorname{Fun}( \Delta ^ n, \operatorname{\mathcal{E}}) } \end{gathered} \end{equation}