A fusion system over a p-group S is a category whose objects form the set of all subgroups of S, whose morphisms are certain injective group homomorphisms, and which satisfies axioms first formulated by Puig that are modelled on conjugacy relations in finite groups. The definition was originally motivated by representation theory, but fusion systems also have applications to local group theory and to homotopy theory. The connection with homotopy theory...