Grothendieck Construction of Bipermutative-Indexed Categories

The Grothendieck construction provides an explicit link between indexed categories and opfibrations. It is a fundamental concept in category theory and related fields with far-reaching applications. Bipermutative categories are categorifications of rings. They play a central role in algebraic K-theory and infinite loop space theory.

This monograph is a detailed study of the Grothendieck constructio...