79.12.14.1
\begin{equation} \label{spaces-more-groupoids-equation-finite-conditions-variant} \begin{matrix} a : T \to Y\text{ is a morphism over }S,
\\ Z \subset T \times _ Y X\text{ is an open subspace}
\\ \text{such that }\text{pr}_0|_ Z : Z \to T\text{ is finite and}
\\ (1_ T, \sigma \circ a) : T \to T \times _ Y X\text{ factors through }Z.
\end{matrix} \end{equation}
Comments (0)
There are also: