Grothendieck construction

GPTKB entity