The Azimuth Project
Grothendieck construction (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Idea

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

References