78.8.1.1
\begin{equation} \label{spaces-groupoids-equation-action} \xymatrix{ G \times _ B G \times _ B X \ar[r]_-{1_ G \times a} \ar[d]_{m \times 1_ X} & G \times _ B X \ar[d]^ a \\ G \times _ B X \ar[r]^ a & X } \quad \xymatrix{ G \times _ B X \ar[r]_-a & X \\ X\ar[u]^{e \times 1_ X} \ar[ru]_{1_ X} } \end{equation}
Comments (0)