Description
I will show that a 2-categorical version of (de-)equivariantization can be used to classify (3+1)d topological orders with a finite G-symmetry.
As a consequence, in the genuinely fermionic case, I will explain how 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. This is joint work with Matthew Yu.