Remark 90.17.6. The action of Lemma 90.17.5 is functorial. Let $\varphi : \mathcal{F} \to \mathcal{G}$ be a morphism of deformation categories. Let $A' \to A$ be a surjective ring map whose kernel $I$ is annihilated by $\mathfrak m_{A'}$. Let $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{F}(A))$. In this situation $\varphi $ induces the vertical arrows in the following commutative diagram

The commutativity follows as each of the maps (90.17.5.2), (90.17.5.1), and (90.17.5.3) of the proof of Lemma 90.17.5 gives rise to a similar commutative diagram.

## Comments (0)