The Stacks project

Remark 88.2.3 (Base change). Let $\varphi : A_1 \to A_2$ be a ring map and let $I_ i \subset A_ i$ be ideals such that $\varphi (I_1^ c) \subset I_2$ for some $c \geq 1$. This induces ring maps $A_{1, cn} = A_1/I_1^{cn} \to A_2/I_2^ n = A_{2, n}$ for all $n \geq 1$. Let $\mathcal{C}_ i$ be the category (88.2.0.1) for $(A_ i, I_ i)$. There is a base change functor

Let $\mathcal{C}_ i'$ be the category (88.2.0.2) for $(A_ i, I_ i)$. If $I_2$ is finitely generated, then there is a base change functor

because in this case the completion is complete (Algebra, Lemma 10.96.3). If both $I_1$ and $I_2$ are finitely generated, then the two base change functors agree via the functors (88.2.0.3) which are equivalences by Lemma 88.2.1.