The Azimuth Project
Grothendieck construction

Idea

The Grothendieck construction gives an equivalence between fibred categories? and indexed categories?.

References