∀ {X : AlgebraicGeometry.Scheme} (𝓤 : X.OpenCover) (i : 𝓤.affineRefinement.openCover.I₀),
  CategoryTheory.CategoryStruct.comp ((𝓤.X i.fst).affineCover.f i.snd) (𝓤.f i.fst) = 𝓤.affineRefinement.openCover.f i