Flat Pullback

definition