Situation 48.16.1. Here $S$ is a Noetherian scheme and $\textit{FTS}_ S$ is the category whose

objects are schemes $X$ over $S$ such that the structure morphism $X \to S$ is both separated and of finite type, and

morphisms $f : X \to Y$ between objects are morphisms of schemes over $S$.

## Comments (0)