Remark 60.8.5 (Functoriality). Let $p$ be a prime number. Let $(S, \mathcal{I}, \gamma ) \to (S', \mathcal{I}', \gamma ')$ be a morphism of divided power schemes over $\mathbf{Z}_{(p)}$. Set $S_0 = V(\mathcal{I})$ and $S'_0 = V(\mathcal{I}')$. Let

be a commutative diagram of morphisms of schemes and assume $p$ is locally nilpotent on $X$ and $Y$. Then we get a continuous and cocontinuous functor

by letting $(U, T, \delta )$ correspond to $(U, T, \delta )$ with $U \to X \to Y$ as the $S'$-morphism from $U$ to $Y$. Hence we get a morphism of topoi

see Sites, Section 7.21.

## Comments (0)

There are also: