 The intersection of two objects corresponds to their fiber product over "X".Ét("X") is a large category, meaning that its objects do not form a set.An étale presheaf on "X" is a contravariant functor from Ét("X") to the category of sets.