Indexed Grothendieck construction

Date:

[Slides]()