Fusion categories are quantum analogues of finite groups. They describe certain topologically invariant 2-dimensional quantum systems, and may be relevant for building a quantum computer. Families of fusion categories can be constructed from quantum groups, subfactors or conformal field theory. Attempting to classify small examples requires techniques from analysis, combinatorics, representation theory and number theory. The classification results available so far reveal intriguing exotic examples and leave many questions.