MIT Category Theory Seminar
2020/04/23
©Spifong
Speaker: Joe Moeller
Title: The monoidal Grothendieck construction
Abstract:
The Grothendieck construction gives an equivalence between fibrations and indexed categories. We will begin with a review of the classical story. We will then lift this correspondence to two monoidal variants, a global version and a fibre-wise version. Under certain conditions these are equivalent, so one can transfer fibre-wise monoidal structures to the total category. We will give some examples demonstrating the utility of this construction in applied category theory and categorical algebra.
