Equivalent definitions of fusion category arising from separability

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.