Title: Grothendieck Construction of Bipermutative-Indexed Categories