Burnside category
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. == Definitions == Let G be a finite group (in fact everything will work verbatim for a profinite group).