Loading paper
Frobenius algebras and homotopy fixed points of group actions on bicategories | Tomesphere