{X : TopCat} →
  {C : Type u_3} →
    [inst : CategoryTheory.Category.{v_1, u_3} C] →
      [inst_1 : CategoryTheory.Limits.HasColimits C] →
        (F : TopCat.Presheaf C X) → {x y : ↑X} → Inseparable x y → (F.stalk x ≅ F.stalk y)