Kerodon

\begin{equation} \begin{gathered}\label{equation:collapse-left-universal2} \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}_{\pm }( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) \times _{ \operatorname{Fun}( \operatorname{\mathcal{C}}_{+}, \operatorname{\mathcal{D}}_{+} ) } \{ F_{+} \} \ar [r] \ar [d] & \operatorname{Fun}_{\pm }(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) \ar [d] \\ \operatorname{Fun}^{0}_{ / \operatorname{\mathcal{D}}_{+} }( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) \ar [r] \ar [d] & \operatorname{\mathcal{E}}_{-} \times _{ \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}_{+} ) } \operatorname{Fun}( \operatorname{\mathcal{C}}_{+}, \operatorname{\mathcal{D}}_{+} ) \ar [d] \\ \{ F_{+} \} \ar [r] & \operatorname{Fun}( \operatorname{\mathcal{C}}_{+}, \operatorname{\mathcal{D}}_{+} ), } \end{gathered} \end{equation}