Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
8.78
\begin{equation} \begin{gathered}\label{equation:compare-dagger-with-conjugacy3} \xymatrix@C =50pt@R=50pt{ \operatorname{\mathcal{E}}^{\dagger } \ar [r] \ar [d]^{U^{\dagger }} & \operatorname{Cospan}( \operatorname{\mathcal{E}}) \ar [d]^{ \operatorname{Cospan}(U) } \\ \operatorname{\mathcal{C}}^{\operatorname{op}} \ar [r]^-{\rho _{-}} & \operatorname{Cospan}( \operatorname{\mathcal{C}}), } \end{gathered} \end{equation}