kind_grothendieck