Categoría esférica

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