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.
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.
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. 2. Verify linearity, abelianness, finite-dimensional morphism spaces, and semisimplicity. 3. Enumerate simple isomorphism classes and confirm the roster is finite. 4. Check that the tensor unit is simple. 5. Construct left and right duals and verify evaluation–coevaluation identities. 6. Decompose products of simples and record fusion coefficients. 7. 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) — more general patterns this builds on
-
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 → Category → Associativity → Invariance
- Fusion Category → Category → Closure
- Fusion Category → Category → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Fusion Category sits in a sparse region of the domain-specific corpus (75th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- McKay Graph — 0.85
- Associativity Isomorphism — 0.84
- Joyal Model Structure — 0.83
- Alexander Duality — 0.83
- Regular Category — 0.82
Computed from structural-signature embeddings · 2026-09-08