“…So X is invertible, and since X ⊗ X ∼ = X , we see that X ∼ = 1, proving the lemma. [15,Lemma 1.4], the -equivariantization M 0 is equivalent to M. By [15,Theorem 1.3], M 0 is also a fusion category, so we see that e L is the only simple object of M 0 (indeed, every simple object of M 0 can be realized as a direct summand of a simple object of M 0 ). On the other hand, all simple objects of M 0 are described in [15, §4.1], and that description implies that U is connected and that ϕ L is an isomorphism.…”