The Azimuth Project
Monoidal Grothendieck Construction

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