Finite, connected, semisimple, rigid tensor categories are linear

Greg Kuperberg

Fusion categories are fundamental objects in quantum algebra, but their definition is narrow in some respects. By definition a fusion category must be k-linear for some field k, an…