	In category theory and homotopy theory the Burnside category of a finite group "G" is a category whose objects are finite "G"-sets and whose morphisms are (equivalence classes of) spans of "G"-equivariant maps. It is a categorification of the Burnside ring of "G".