The Azimuth Project
Monoidal Grothendieck Construction (changes)

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


The Grothendieck constructionThe 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.