The Classification of 3+1d Symmetry Enriched Topological Order

We use a 2-categorical version of (de-)equivariantization to classify (3+1)d topological orders with a finite $G$-symmetry. In particular, we argue that (3+1)d fermionic topological order with $G$-symmetry correspond to $\mathbf{2SVect}$-enriched $G$-crossed braided fusion 2-categories. We then show that the categorical data necessary to define these theories agrees with that arising from a fermionic generalization of the Wang-Wen-Witten construction of bosonic topological theories with $G$-symmetry saturating an anomaly. More generally, we also explain how 2-categorical (de-) equivariantization yields a classification of all braided fusion 2-categories.