The Stacks project

Proof. Assume $(A_ i)$ is essentially constant with value $A$. Then $A = \mathop{\mathrm{lim}}\nolimits A_ i$ and there exists an $i$ and a morphism $A_ i \to A$ such that (1) the composition $A \to A_ i \to A$ is the identity on $A$ and (2) for all $j \geq i$ there exists a $j' \geq j$ such that $A_{j'} \to A_ j$ factors as $A_{j'} \to A_ i \to A \to A_ j$. From (1) we conclude that for $j \geq i$ the maps $A \to A_ j$ and $A_ j \to A_ i \to A$ compose to the identity on $A$. It follows that $A_ j \to A$ has a kernel $Z_ j$ and that the map $A \oplus Z_ j \to A_ j$ is an isomorphism, see Lemmas 13.4.12 and 13.4.11. These direct sum decompositions clearly satisfy (a). From (2) we conclude that for all $j$ there is a $j' \geq j$ such that $Z_{j'} \to Z_ j$ is zero, so (b) holds. Proof of the converse is omitted. $\square$