Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
5.62
\begin{equation} \begin{gathered}\label{equation:universality-formulation-0} \xymatrix@R =50pt@C=50pt{ \widetilde{\operatorname{\mathcal{B}}} \ar [r] \ar [d]^{ ( \widetilde{r}_0, \widetilde{r}_1)} & \operatorname{\mathcal{B}}\ar [d]^{ (r_0, r_1) } \\ \operatorname{Equiv}( \operatorname{\mathcal{E}}_0, \operatorname{\mathcal{E}}'_{0} ) \times \operatorname{Equiv}( \operatorname{\mathcal{E}}_{1}, \operatorname{\mathcal{E}}'_{1}) \ar [r]^-{\circ \lambda } & \operatorname{Equiv}( \operatorname{\mathcal{E}}_{0}, \operatorname{\mathcal{E}}'_{0} ) \times \operatorname{Fun}(\operatorname{\mathcal{E}}_0, \operatorname{\mathcal{E}}'_{1} )^{\simeq }. } \end{gathered} \end{equation}