∀ {C : Type u_3} [inst : CategoryTheory.Category.{u_2, u_3} C] {X Y : AlgebraicGeometry.SheafedSpace C} (α β : X ⟶ Y),
  α.hom.base = β.hom.base → (TopologicalSpace.Opens.map α.hom.base).op = (TopologicalSpace.Opens.map β.hom.base).op