∀ {σ : Type v} (g : σ → AlgebraicGeometry.Scheme) [inst : Small.{u, v} σ] {i j : σ},
  i ≠ j →
    IsEmpty ↥(CategoryTheory.Limits.pullback (CategoryTheory.Limits.Sigma.ι g i) (CategoryTheory.Limits.Sigma.ι g j))