Invariants and semi-direct products for finite group actions on tensor categories (Q5939225)

Given an action of a finite group on a tensor category, we form two tensor categories. One is the category of group invariant objects of the tensor category, and the other is the semi-direct product of the group and the tensor category. We show that if the characteristic of the base field does not divide the order of the group, there exists a one-to-one correspondence between linear categories with action of these two tensor categories.