Lemma 4.15. Assuming that:

• a pullback diagram

  

  where $f$ is monic