"Suppose that C is a finite tensor category, and A is an algebra object in C. Further suppose that A-mod (the category of left A-module objects in C) is a semisimple category." . . . .