 With the latter interpretation, an Ehresmann connection is a section of the bundle (over "E") J1("M","E") → "E".The problem is thus to obtain an intrinsic description of the sheaf of sections of this vector bundle.Grothendieck's solution is to consider the diagonal embedding Δ