Grothendieck connection
In algebraic geometry and synthetic differential geometry, a Grothendieck connection is a way of viewing connections in terms of descent data from infinitesimal neighbourhoods of the diagonal. == Introduction and motivation == The Grothendieck connection is a generalization of the Gauss–Manin connection constructed in a manner analogous to that in which the Ehresmann connection generalizes the Koszul connection.