$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
4.90
\begin{equation} \begin{gathered}\label{equation:categorically-connective-monomorphism} \xymatrix@C =50pt@R=50pt{ A' \ar [r] \ar [d] & \operatorname{Fun}(B, \operatorname{\mathcal{C}}) \ar [d]^{V} \\ B' \ar@ {-->}[ur] \ar [r] & \operatorname{Fun}(A, \operatorname{\mathcal{C}}) \times _{ \operatorname{Fun}(A, \operatorname{\mathcal{D}}) } \operatorname{Fun}(B, \operatorname{\mathcal{D}}) } \end{gathered} \end{equation}