∀ {X : TopCat} {ι : Type u_2} (U : ι → TopologicalSpace.Opens ↑X) (i j : ι),
  TopCat.Presheaf.SheafCondition.pairwiseToOpensLeCoverObj U (CategoryTheory.Pairwise.pair i j) =
    { obj := U i ⊓ U j, property := ⋯ }