The Azimuth Project
Monoidal Grothendieck Construction (Rev #1)

Idea

The Grothendieck construction gives an equivalence between fibred categories and indexed categories. This paper gives two monoidal variants of each of these concepts, and the corresponding equivalence. A connection between the two variants is also given.

References