Equivalent definitions of fusion category arising from separability
Category Theory
2026-02-10 v1
Abstract
For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative). This induces a list of equivalent definitions of fusion category. As an application, we describe the connectness of a class of weak Hopf algebras by the separability of tensor functors. We also consider applications to transfer of simplicity between the unit objects, semisimple indecomposable module category and Grothendieck ring.
Cite
@article{arxiv.2602.08954,
title = {Equivalent definitions of fusion category arising from separability},
author = {Zhenbang Zuo},
journal= {arXiv preprint arXiv:2602.08954},
year = {2026}
}