The Stacks project

Proof. The empty product, i.e., the final object in the category of divided power thickenings of $C$ over $(A, I, \gamma )$, is the zero ring viewed as an $A$-algebra endowed with the zero ideal and the unique divided powers on the zero ideal and finally endowed with the unique homomorphism of $C$ to the zero ring. If $(B_ t, J_ t, \delta _ t)_{t \in T}$ is a family of objects of $\text{CRIS}(C/A)$ then we can form the product $(\prod _ t B_ t, \prod _ t J_ t, \prod _ t \delta _ t)$ as in Divided Power Algebra, Lemma 23.3.2. The map $C \to \prod B_ t/\prod J_ t = \prod B_ t/J_ t$ is clear. However, we are only guaranteed that $p$ is nilpotent in $\prod _ t B_ t$ if $T$ is finite.

Given two objects $(B, J, \gamma )$ and $(B', J', \gamma ')$ of $\text{CRIS}(C/A)$ we can form a cocartesian diagram

in the category of divided power rings. Then we see that we have

see Divided Power Algebra, Remark 23.3.5. Denote $J'' \subset K \subset B''$ the ideal such that

is a pushout, i.e., $B''/K \cong B/J \otimes _ C B'/J'$. Let $D_{B''}(K) = (D, \bar K, \bar\delta )$ be the divided power envelope of $K$ in $B''$ relative to $(B'', J'', \delta '')$. Then it is easily verified that $(D, \bar K, \bar\delta )$ is a coproduct of $(B, J, \delta )$ and $(B', J', \delta ')$ in $\text{CRIS}(C/A)$.

Next, we come to coequalizers. Let $\alpha , \beta : (B, J, \delta ) \to (B', J', \delta ')$ be morphisms of $\text{CRIS}(C/A)$. Consider $B'' = B'/ (\alpha (b) - \beta (b))$. Let $J'' \subset B''$ be the image of $J'$. Let $D_{B''}(J'') = (D, \bar J, \bar\delta )$ be the divided power envelope of $J''$ in $B''$ relative to $(B', J', \delta ')$. Then it is easily verified that $(D, \bar J, \bar\delta )$ is the coequalizer of $(B, J, \delta )$ and $(B', J', \delta ')$ in $\text{CRIS}(C/A)$.

By Categories, Lemma 4.18.6 we have all finite nonempty colimits in $\text{CRIS}(C/A)$. The constructions above shows that (60.5.2.1) commutes with them. This formally implies part (3) as $\text{Cris}(C/A)$ is the fibre category of (60.5.2.1) over $C$. $\square$