I've the definition of a connection on a vector bundle and on a G-principal bundle. But reading I have found this statement
if R is a $\mathbb{C}-$algebra take the R-families of connections over the formal disk
Where the formal disk is $Spec\mathbb{C}[[t]]$ What they mean? There is another classical definitions that I've lost?