# The Azimuth Project Grothendieck construction

## Idea

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