The Classification of 3+1d Symmetry Enriched Topological Order
This work establishes a unified framework to classify (3+1)d topological orders with finite G-symmetry using 2-categorical methods. It shows these orders correspond to specific braided fusion 2-categories and provides a mathematical description for the anomalies that arise when gauging these symmetries, linking them to G-crossed braided fusion structures.