$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
4.59
\begin{equation} \begin{gathered}\label{equation:double-slice-consequence} \xymatrix { \operatorname{Fun}(B, \operatorname{\mathcal{C}}_{ f_{-} / \, / f_{+} }) \ar [r] \ar [d] & \operatorname{Fun}( K_{-} \star B \star K_{+},\operatorname{\mathcal{C}}) \ar [d] \\ \operatorname{Fun}(A, \operatorname{\mathcal{C}}_{ f_{-} / \, / f_{+}} ) \ar [r] & \operatorname{Fun}( K_{-} \star A \star K_{+}, \operatorname{\mathcal{C}}) } \end{gathered} \end{equation}