Lemma 76.10.1. Let $S$ be a scheme. Let $(f, f') : (X \subset X') \to (Y \subset Y')$ be a morphism of thickenings of algebraic spaces over $S$. Then

$f$ is an affine morphism if and only if $f'$ is an affine morphism,

$f$ is a surjective morphism if and only if $f'$ is a surjective morphism,

$f$ is quasi-compact if and only if $f'$ quasi-compact,

$f$ is universally closed if and only if $f'$ is universally closed,

$f$ is integral if and only if $f'$ is integral,

$f$ is (quasi-)separated if and only if $f'$ is (quasi-)separated,

$f$ is universally injective if and only if $f'$ is universally injective,

$f$ is universally open if and only if $f'$ is universally open,

$f$ is representable if and only if $f'$ is representable, and

add more here.

## Comments (0)