Indexed Grothendieck construction

Date:

Slides