Hopf 2-algebras and Braided Monoidal 2-Categories

Hank Chen, Florian Girelli

Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study thei…