Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
7.30
\begin{equation} \begin{gathered}\label{equation:relative-Kan-extension-mapping3} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}^0_{/C} \ar [r] \ar [d] & \operatorname{Fun}(\Delta ^ n, \operatorname{\mathcal{D}}) \ar [d]^{V'} \\ ( \operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright } \ar@ {-->}[ur]^{Q} \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}