Lemma 87.24.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of formal algebraic spaces over $S$. The following are equivalent

$f$ is of finite type,

$f$ is representable by algebraic spaces and is of finite type in the sense of Bootstrap, Definition 80.4.1.

## Comments (0)