Questions tagged [grothendieck-construction]