∀ {X Y Z : AlgebraicGeometry.Scheme} (𝒰X : X.OpenCover) (𝒰Y : Y.OpenCover) (f : X ⟶ Z) (g : Y ⟶ Z) (ij : 𝒰X.I₀ × 𝒰Y.I₀),
  CategoryTheory.Limits.HasPullback (CategoryTheory.CategoryStruct.comp (𝒰X.f ij.1) f)
    (CategoryTheory.CategoryStruct.comp (𝒰Y.f ij.2) g)