77.7.8.1
\begin{equation} \label{spaces-flat-equation-flat} F_{flat} : (\mathit{Sch}/Y)^{opp} \longrightarrow \textit{Sets}, \quad T \longrightarrow \left\{ \begin{matrix} \{ *\}
& \text{if } \mathcal{F}_ T \text{ is flat over }T,
\\ \emptyset
& \text{else.}
\end{matrix} \right. \end{equation}
Comments (0)