Talk:Grothendieck connection