It is well-known that if we gauge a Z n symmetry in two dimensions, a dual Z n symmetry appears, such that re-gauging this dual Z n symmetry leads back to the original theory. We describe how this can be generalized to non-Abelian groups, by enlarging the concept of symmetries from those defined by groups to those defined by unitary fusion categories. We will see that this generalization is also useful when studying what happens when a non-anomalous subgroup of an anomalous finite group is gauged: for example, the gauged theory can have non-Abelian group symmetry even when the original symmetry is an Abelian group. We then discuss the axiomatization of two-dimensional topological quantum field theories whose symmetry is given by a category. We see explicitly that the gauged version is a topological quantum field theory with a new symmetry given by a dual category. 2 Recently in [5], Gaiotto, Kapustin, Komargodski and Seiberg performed an impressive study of the phase structure of thermal 4d su(2) Yang-Mills theory. One important step in the analysis is the symmetry structure of the thermal system, which is essentially three-dimensional. As a dimensional reduction from 4d, the system has a Z 2 × Z 2 0-form symmetry and a Z 2 1-form symmetry, with a mixed anomaly. Then the authors gauged the Z 2 1-form symmetry, and found that the total 0-form symmetry is now D 8 . This D 8 was then used very effectively to study the phase diagram, but that part of their paper does not directly concern us here. Their analysis of turning an anomalous Abelian symmetry by gauging a non-anomalous subgroup into a non-Abelian symmetry is a 3d analogue of what we explain in 2d. See their Sec. 4.2, Appendix B and Appendix C. Clearly an important direction to pursue is to generalize their and our constructions to arbitrary combinations of possibly-higher-form symmetries in arbitrary spacetime dimensions, but that is outside of the scope of this paper.