Skip to content

Burnside category

An additive category of finite G-sets whose morphisms are group-completed equivalence classes of equivariant spans composed by pullback.

Version
v1 · 2026-09-28 · History
Domain-specific #
8296
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Equivariant Homotopy Theory, Category Theory → Mathematics

Core Idea

For a fixed finite group (G), the Burnside category has finite (G)-sets as objects and formalized equivariant spans (X\leftarrow U ightarrow Y) as morphisms. Spans are identified up to equivariant apex isomorphism, added by disjoint union and group-completed, then composed by pullback. Two spans represent the same morphism when their apexes are related by a (G)-equivariant bijection commuting with both legs. Two spans represent the same morphism when their apexes are related by a (G)-equivariant bijection commuting with both legs.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators judged that a five-year-old picture turns a connection between two collections into a single arrow or matching, which is exactly the ordinary-map misconception the concept rules out, since morphisms are formal combinations of spans through a third G-set.

Connections Through a Middle Collection

Imagine collections of objects that a group of symmetry moves, like rotations, can shuffle around. In the Burnside category, these shuffle-able collections are the main things. To connect one collection X to another collection Y, you don't use a simple arrow; you use a third collection in the middle that points to both X and Y in a way that respects the shuffling. You can add these connections by putting them side by side, and mathematicians also allow subtracting them. The one-point collection's connections to itself form a special number system called the Burnside ring.

Span Category of Finite G-Sets

Given a finite group G, a G-set is a set that G acts on, meaning each group element moves the set's elements around consistently. The Burnside category A(G) has finite G-sets as its objects. Unusually, a morphism from X to Y is not a single function but a 'span': a third G-set U together with G-respecting maps U → X and U → Y, so U records a correspondence between X and Y. Two spans count as the same if their middle sets match up by a G-respecting bijection compatible with the maps. Spans can be added using disjoint union, and allowing formal negatives turns them into an abelian group. Composing two spans uses a pullback, which pairs up elements over the shared middle object. The endomorphisms of the one-point G-set form the Burnside ring.

 

For a finite group G, the Burnside category A(G) has finite G-sets as objects. A morphism X → Y is represented by a span of G-equivariant maps X ← U → Y, so a third G-set U records a correspondence between the endpoints. Two spans are identified when their apexes are related by a G-equivariant bijection commuting with both legs. Isomorphism classes of spans form a commutative monoid under disjoint union, and group-completing it yields the abelian group A(G)(X,Y). Composition is defined by taking the pullback of the apexes over the common middle object. Disjoint union gives biproducts and the empty G-set is a zero object, so A(G) is additive; Cartesian product gives a symmetric monoidal structure. The endomorphism ring of the one-point G-set is the Burnside ring, and additive functors out of A(G) encode the restriction and transfer behavior of Mackey functors.

Scope of Application

The construction applies to equivariant algebra and homotopy settings where both covariant transfers and contravariant restrictions must coexist. The construction applies in equivariant algebra and homotopy theory when restrictions and transfers must be represented together.

  • Mackey functors. Additive functors out of A(G) encode restriction–transfer structure.
  • Equivariant stable homotopy. Finite G-set suspension spectra realize the category homotopically.
  • Burnside ring theory. Point endomorphisms recover the classical ring.
  • Equivariant representation examples. G-maps into a representation can form Mackey-functor values.
  • Categorification. Objectwise span data retains structure collapsed by the Burnside ring.

Clarity

Fix G, name the objects, and specify whether homs are span classes before or after group completion. Draw both span legs with directions, state equivariance, and compute composition by the correct pullback. Distinguish additive disjoint union from symmetric-monoidal Cartesian product. The closest near miss sets the boundary: The Burnside ring is the closest near miss: it is the endomorphism ring of the one-point G-set, whereas the category retains morphisms among all finite G-sets.

Manages Complexity

The category packages induction-like and restriction-like behavior in one correspondence calculus. Group completion converts geometric disjoint union into additive algebra, while pullback enforces compositional compatibility and the point object recovers the familiar Burnside ring. The central functions–correspondences tradeoff is this: Spans encode two-directional behavior but complicate morphism identity. A second geometric union–formal subtraction tension matters because G-sets add concretely while group completion introduces virtual differences.

Abstract Reasoning

Use three linked moves: choose finite G-sets X and Y and enumerate equivariant span representatives; quotient by apex isomorphisms commuting with both legs; use disjoint union and group completion to form the hom-group. As a collapse test, the case exits when G-actions, span morphisms, group completion, or pullback composition are removed. A fourth check is to compose representatives by pulling back over the shared G-set. A final check is to check resulting functors preserve addition when interpreting Mackey data.

Knowledge Transfer

The span-and-pullback pattern transfers to other correspondence categories, but the Burnside name requires finite G-sets and the specified additive completion. Categorification and correspondence carry broader structure without fixing a canonical parent. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. A span relates endpoints through an apex. Pullback joins compatible correspondences.

Relationships to Other Abstractions

Local relationship map for Burnside categoryParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Burnside categoryDOMAINDomain-specific abstraction: Mathematical Category — is a kind ofMathematicalCategoryDOMAIN

Current abstraction Burnside category Domain-specific

Parents (1) — more general patterns this builds on

  • Burnside category is a kind of Mathematical Category Domain-specific

    Burnside category satisfies the defining boundary of Mathematical Category: A mathematical category is a structure consisting of objects, morphisms between objects, identity morphisms, and an associative partial composition law with matching domains and codomains, optionally enriched or equipped with additional categorical structure.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Burnside category sits in a moderately populated region (44th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Abstract Algebra & Category Theory (24 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08