Lemma 91.3.3. In Situation 91.3.1 the morphism $(f, f')$ is a strict morphism of thickenings if and only if (91.3.1.1) is cartesian in the category of ringed spaces.
Proof. Omitted. $\square$
Lemma 91.3.3. In Situation 91.3.1 the morphism $(f, f')$ is a strict morphism of thickenings if and only if (91.3.1.1) is cartesian in the category of ringed spaces.
Proof. Omitted. $\square$
Comments (0)