{"id":"arxiv/2602.08954","url":"https://arxiv.org/abs/2602.08954","tags":["math.CT"],"score":0,"title":"Equivalent definitions of fusion category arising from separability","domain":"math.CT","source":"arxiv","authors":["Zhenbang Zuo"],"reviews":0,"subject":"math.CT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-09","reactions":{}}