Proposition of the day

Let R —> Λ be a ring map. Let I ⊂ R be an ideal. Assume that

  1. I is nilpotent,
  2. Λ/IΛ is a filtered colimit of smooth R/I-algebras, and
  3. R —> Λ is flat.

Then Λ is a colimit of smooth R-algebras. See Tag 07CM.