∀ {I : Type w} [inst : CategoryTheory.Category.{v, w} I] (D : CategoryTheory.Functor I AlgebraicGeometry.Scheme)
  [∀ (i : I), AlgebraicGeometry.IsAffine (D.obj i)],
  CategoryTheory.Limits.PreservesLimit D AlgebraicGeometry.Scheme.Γ.rightOp