40.3.0.1
\begin{equation} \label{more-groupoids-equation-diagram} \vcenter { \xymatrix{ & U & \\ R \ar[d]_ s \ar[ru]^ t & R \times _{s, U, t} R \ar[l]^-{\text{pr}_0} \ar[d]^{\text{pr}_1} \ar[r]_-c & R \ar[d]^ s \ar[lu]_ t \\ U & R \ar[l]_ t \ar[r]^ s & U } } \end{equation}
Comments (0)