Grothendieck construction

construction of a fibered category from a functorially indexed family of categories