En la teoría de categorías , una rama de las matemáticas, una categoría esférica es una categoría fundamental (una categoría monoide con trazas ) en la que coinciden las trazas izquierda y derecha. [1] Las categorías de fusión esférica dan lugar a una familia de modelos tridimensionales de suma de estados topológicos (una formulación particular de una teoría cuántica de campos topológica ), el modelo Turaev-Viro , o más bien el modelo Turaev-Viro-Barrett-Westbury . [2]