94.9.1.1
\begin{equation} \label{algebraic-equation-representable-by-algebraic-spaces} \vcenter { \xymatrix{ F_ y \ar[d]_{f_ y} & (\mathit{Sch}/U)_{fppf} \times _{y, \mathcal{Y}} \mathcal{X} \ar@{~>}[l] \ar[d]_{\text{pr}_0} \ar[r]_-{\text{pr}_1} & \mathcal{X} \ar[d]^ f \\ U & (\mathit{Sch}/U)_{fppf} \ar@{~>}[l] \ar[r]^-y & \mathcal{Y} } } \end{equation}
Comments (0)
There are also: