Kerodon

\begin{equation} \begin{gathered}\label{equation:exhibits-as-represented-ur2} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\ar [r]^-{F} \ar [d]^{\lambda } & \operatorname{\mathcal{D}}\ar [d]^{\mu } \\ \operatorname{\mathcal{C}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{C}}_{+} \ar [r]^-{F^{\operatorname{op}}_{-} \times F_{+}} & \operatorname{\mathcal{D}}^{\operatorname{op}}_{-} \times \operatorname{\mathcal{D}}_{+} } \end{gathered} \end{equation}