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".