Joe Moeller: The monoidal Grothendieck construction

MIT Category Theory Seminar 20200423 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.

Источник: rutube.ru