pullback of locally presentable categories