equivariantization

Roughly, given a UMC with a symmetry group G, gauging is a 2-step process: first extend the UMC to a G-crossed braided fusion category and then take the equivariantization of the resulting category.