 One may now form the pullback of the fibre space "E" along one or the other of "p"1 or "p"2.In general, there is no canonical way to identify "p"1*"E" and "p"2*"E" with each other.A Grothendieck connection is a specified isomorphism between these two spaces.