Grothendieck construction