The Azimuth Project
Monoidal Grothendieck Construction (changes)

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

Idea

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.

References