Fusion Category¶

Model finitely many particle-like object types with semisimple direct-sum decomposition, duals, and an associative tensor product whose decomposition coefficients form finite fusion rules.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1903
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Tensor Categories → Mathematics
Aliases: Finite semisimple tensor category, Fusion tensor category

Core Idea¶

A fusion category is a finite semisimple rigid tensor category over a field, normally presented under a convention such as an algebraically closed field of characteristic zero. Concretely, it is a linear abelian monoidal category with finite-dimensional morphism spaces, finitely many isomorphism classes of simple objects, decomposition of every object into a finite direct sum of simples, a simple tensor unit, and left and right duals. The tensor product of simple objects decomposes into simples with nonnegative integer multiplicities. Those multiplicities are the fusion rules, but the category also contains associativity constraints, unit constraints, morphisms, and coherence data.

How would you explain it like I'm…

No faithful explanation at this level. Any child-level picture reduces to a chart of what you get when you combine pieces. That teaches the misconception that a fusion category is just its multiplication table, when the table is only a shadow of the whole structure.

No faithful explanation at this level. Without morphisms and associativity data, the explanation collapses into a rule table for combining pieces. That is the misreading that the fusion rules alone make up the category.

Finite Rigid Tensor Category

A Fusion Category is an algebraic structure where objects can be 'multiplied' (tensored). It has only finitely many basic simple objects, and every object splits into a finite sum of them. Tensoring two simples gives a sum of simples with nonnegative whole-number multiplicities, and these multiplicities are called the fusion rules. There is also a simple unit object and a dual for every object. The standard example is the representations of a finite group: they break into irreducibles, the trivial representation acts as the unit, and dual representations supply the duals. Beyond the fusion rules, the category also carries how-to-regroup data (associativity) and maps between objects. Different categories can share the same fusion rules, so the rule table alone does not determine the category.

A fusion category is a finite, semisimple, rigid tensor category over a field, usually taken to be algebraically closed of characteristic zero. It is a linear abelian monoidal category with finite-dimensional Hom spaces and finitely many isomorphism classes of simple objects. Every object decomposes as a finite direct sum of simples, the tensor unit is simple, and every object has left and right duals. For simple representatives X_i, X_i ⊗ X_j ≅ ⊕_k N_ij^k X_k with nonnegative integer multiplicities, the fusion rules. These are recorded in the Grothendieck ring, and Frobenius–Perron dimension gives a positive numerical invariant. The standard example is finite-dimensional representations of a finite group in characteristic not dividing the group order: Maschke's theorem gives semisimplicity, the trivial representation is the unit, and dual representations give rigidity. Other examples come from semisimple Hopf or quasi-Hopf algebras, semisimplified quantum groups at roots of unity, and topological phases. The category is more than its fusion table. Associativity and unit constraints with coherence are part of the data, and inequivalent categories can share related fusion rules. Etingof–Nikshych–Ostrik's Ocneanu rigidity shows only finitely many equivalence classes realize given fusion rules, but not necessarily just one. Braiding, pivotal, spherical or modular structure is extra, not automatic.

Scope of Application¶

Fusion categories are literal when a finite semisimple system of composable object types carries tensor product, duality, and coherent decomposition.

Finite-group representation theory. Organizing irreducible representations and their tensor products.
Hopf and quasi-Hopf algebras. Describing semisimple representation categories.
Quantum algebra. Studying categories derived from quantum groups and related constructions.
Topological quantum field theory. Supplying algebraic input for state spaces and defect composition.
Topological phases. Encoding superselection sectors and fusion behavior of anyonic excitations.
Subfactor theory. Relating bimodule categories, fusion rules, and categorical invariants.
Categorical classification. Using dimensions, gradings, module categories, and Morita equivalence.
Quantum computation. Distinguishing fusion data from the added braiding needed for gates.

Clarity¶

State the field and characteristic, the precise convention for finite tensor category, and whether Hom spaces are finite-dimensional. List representatives of simple objects only when the list is complete. Specify tensor unit, duals, and associator conventions. When giving fusion rules, state explicitly that they are Grothendieck-level data. Do not call a category modular, braided, spherical, pivotal, or unitary without the corresponding structures and axioms. For a representation-category example, verify semisimplicity and field conditions.

Manages Complexity¶

Semisimplicity reduces arbitrary objects to a finite simple basis, and tensor product becomes finite integer bookkeeping at the decategorified level. Duals make orientation reversal and evaluation compositional. Coherence theorems control the many parenthesizations of iterated tensor products. This converts complicated representation and topological data into a finite but expressive calculus. Complexity reappears in associator solutions, gauge choices, module categories, pivotal structures, and equivalence testing. Fusion coefficients are a powerful compression but discard exactly the morphism-level data that distinguish categorical realizations.

Abstract Reasoning¶

Fix a ground field and the tensor-category convention.
Verify linearity, abelianness, finite-dimensional morphism spaces, and semisimplicity.
Enumerate simple isomorphism classes and confirm the roster is finite.
Check that the tensor unit is simple.
Construct left and right duals and verify evaluation–coevaluation identities.
Decompose products of simples and record fusion coefficients.
Check associator and unit coherence rather than relying on the fusion table alone.

Knowledge Transfer¶

The strict parent is Category. Fusion Category retains objects, morphisms, identities, and associative composition, then adds field-linear Hom spaces, an abelian semisimple structure, a coherent tensor product, finiteness, a simple unit, and duals. Category applies without any tensor product or decomposition theorem. Semigroup and Ring capture decategorified shadows but not morphisms or coherence, while Homotopy Category and Regular Category are different category subclasses. Category is therefore the literal accepted-1305 endpoint.

Relationships to Other Abstractions¶

Current abstraction Fusion Category Domain-specific

Parents (1) — outgoing typed relations

Fusion Category is a kind of Category Prime

Category is the strict parent by specialization.

Hierarchy paths (3) — routes to 3 parentless roots

Fusion Category → is a kind of Category → includes Associativity → is a kind of Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space¶

Fusion Category sits in a sparse region of the domain-specific corpus (70^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Categorical & Representation-Theoretic Structures (8 abstractions)

Nearest neighbors

McKay Graph — 0.85
Associativity Isomorphism — 0.84
Algebraic Variety — 0.84
Joyal Model Structure — 0.83
Weyl's Theorem on Complete Reducibility — 0.83

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